• Sign in
  • Sign up
conf.researchr.org / Marie-Laure Potet
  • ASE 2019 profile
  • ICSE 2021 profile
  • POPL 2025 profile
No Photo

Not registered as user

Name:Marie-Laure Potet
Affiliation:Université Grenoble Alpes

Contributions

2025

CPP

  • Author of Formally verified hardening of C programs against hardware fault injection within the CPP 2025-track

2021

ICSE

  • Author of RusTINA: Automatically checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation) within the AE - Artifact Evaluation-track
  • Author of Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine within the Technical Track-track

2019

ASE

  • Author of Get rid of inline assembly through verification-oriented lifting within the Research Papers-track
Share
xTue 20 May 18:46
using conf.researchr.org (v1.69.0)
Support page
Sign Up