Marie-Laure Potet

Identifiers

• name variant Marie-Laure Potet 0.60 · backfill

Papers (5)

1. A tool assisted methodology to harden programs against multi-faults injections cs.CR · 2023 · author #4
2. Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine cs.PL · 2021 · author #6
3. Output-sensitive Information flow analysis cs.CR · 2019 · author #3
4. Get rid of inline assembly through verification-oriented lifting cs.PL · 2019 · author #5
5. Combining Static and Dynamic Analysis for Vulnerability Detection cs.CR · 2013 · author #4

Mentions

• 1909.09567 #3 · arxiv_oai · confidence 0.70 Marie-Laure Potet
• 2303.01885 #4 · arxiv_oai · confidence 0.70 Marie-Laure Potet
• 2102.07485 #6 · arxiv_oai · confidence 0.70 Marie-Laure Potet
• 1903.06407 #5 · arxiv_oai · confidence 0.70 Marie-Laure Potet
• 1305.3883 #4 · arxiv_oai · confidence 0.70 Marie-Laure Potet
• 1305.3883 #4 · backfill · confidence 0.70 Marie-Laure Potet

Frequent Coauthors

• Laurent Mounier 5 shared papers
• Fr\'ed\'eric Recoules 2 shared papers
• Richard Bonichon 2 shared papers
• S\'ebastien Bardin 2 shared papers
• Abderrahmane Bouguern 1 shared papers
• Cristian Ene 1 shared papers
• Dumitru Ceara 1 shared papers
• Etienne Boespflug 1 shared papers
• Matthieu Lemerre 1 shared papers
• Sanjay Rawat 1 shared papers