Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marie-Laure Potet
conf.researchr.org general profile
ASE 2019 profile
ICSE 2021 profile
POPL 2025 profile
Not registered as user yet
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
x
Tue 3 Dec 18:09