Marie-Laure Potet

ORCID

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 33

Top Venues

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Guilhem Lacombe, David Féliot, Etienne Boespflug, Marie-Laure Potet
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities. J. Cryptogr. Eng. 14 (1) (2024)
Vincent Werner, Laurent Maingault, Marie-Laure Potet
An end-to-end approach to identify and exploit multi-fault injection vulnerabilities on microcontrollers. J. Cryptogr. Eng. 13 (2) (2023)
Etienne Boespflug, Laurent Mounier, Marie-Laure Potet, Abderrahmane Bouguern
A Compositional Methodology to Harden Programs Against Multi-Fault Attacks. FDTC (2023)
Guilhem Lacombe, David Féliot, Etienne Boespflug, Marie-Laure Potet
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities. CoRR (2023)
Soline Ducousso, Sébastien Bardin, Marie-Laure Potet
Adversarial Reachability for Program-level Security Analysis. ESOP (2023)
Etienne Boespflug, Abderrahmane Bouguern, Laurent Mounier, Marie-Laure Potet
A tool assisted methodology to harden programs against multi-faults injections. CoRR (2023)
Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet
BaxMC: a CEGAR approach to Max#SAT. FMCAD (2022)
Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet
BAXMC: a CEGAR approach to Max\#SAT. CoRR (2022)
Vincent Werner, Laurent Maingault, Marie-Laure Potet
Fast Calibration of Fault Injection Equipment with Hyperparameter Optimization Techniques. CARDIS (2021)
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine. ICSE (2021)
Cristian Ene, Laurent Mounier, Marie-Laure Potet
Output-sensitive Information flow analysis. Log. Methods Comput. Sci. 17 (1) (2021)
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine". ICSE (Companion Volume) (2021)
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine. CoRR (2021)
Etienne Boespflug, Cristian Ene, Laurent Mounier, Marie-Laure Potet
Countermeasures Optimization in Multiple Fault-Injection Context. FDTC (2020)
Vincent Werner, Laurent Maingault, Marie-Laure Potet
An End-to-End Approach for Multi-Fault Attack Vulnerability Assessment. FDTC (2020)
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
Formally and practically verifying flow properties in industrial systems. Comput. Secur. 86 (2019)
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet
Get rid of inline assembly through trustable verification-oriented lifting. CoRR (2019)
Cristian Ene, Laurent Mounier, Marie-Laure Potet
Output-Sensitive Information Flow Analysis. FORTE (2019)
Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz
A Review of Intrusion Detection Systems for Industrial Control Systems. CoDIT (2019)
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet
Get Rid of Inline Assembly through Verification-Oriented Lifting. ASE (2019)
Cristian Ene, Laurent Mounier, Marie-Laure Potet
Output-sensitive Information flow analysis. CoRR (2019)
Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet
Model Generation for Quantified Formulas: A Taint-Based Approach. CoRR (2018)
Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet
Model Generation for Quantified Formulas: A Taint-Based Approach. CAV (2) (2018)
Jonathan Salwan, Sébastien Bardin, Marie-Laure Potet
Symbolic Deobfuscation: From Virtualized Code Back to the Original. DIMVA (2018)
Maxime Puys, Marie-Laure Potet, Abdelaziz Khaled
Generation of Applicative Attacks Scenarios Against Industrial Systems. FPS (2017)
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
Formally Verifying Flow Properties in Industrial Systems. SECRYPT (2017)
Josselin Feist, Laurent Mounier, Sébastien Bardin, Robin David, Marie-Laure Potet
Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free. SSPREW@ACSAC (2016)
Josselin Feist, Laurent Mounier, Marie-Laure Potet
Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information. SEFM (2016)
Robin David, Sébastien Bardin, Thanh Dinh Ta, Laurent Mounier, Josselin Feist, Marie-Laure Potet, Jean-Yves Marion
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis. SANER (2016)
Maxime Puys, Jean-Louis Roch, Marie-Laure Potet
Domain Specific Stateful Filtering with Worst-Case Bandwidth. CRITIS (2016)
Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion
Specification of concretization and symbolization policies in symbolic execution. ISSTA (2016)
Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen, Philippe de Choudens
FISSC: A Fault Injection and Simulation Secure Collection. SAFECOMP (2016)
Maxime Puys, Marie-Laure Potet, Pascal Lafourcade
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. SAFECOMP (2016)
Louis Dureuil, Marie-Laure Potet, Philippe de Choudens, Cécile Dumas, Jessy Clédière
From Code Review to Fault Injection Attacks: Filling the Gap Using Fault Model Inference. CARDIS (2015)
Josselin Feist, Laurent Mounier, Marie-Laure Potet
Statically detecting use after free on binary code. J. Comput. Virol. Hacking Tech. 10 (3) (2014)
Gregor Gößler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. Tech. Sci. Informatiques 33 (1-2) (2014)
Sanjay Rawat, Laurent Mounier, Marie-Laure Potet
LiSTT: An Investigation into Unsound-Incomplete Yet Practical Result Yielding Static Taintflow Analysis. ARES (2014)
Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil
Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections. ICST (2014)
Lionel Rivière, Marie-Laure Potet, Thanh-Ha Le, Julien Bringer, Hervé Chabanne, Maxime Puys
Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection Attacks. FPS (2014)
Gustavo Grieco, Laurent Mounier, Marie-Laure Potet, Sanjay Rawat
A Stack Model for Symbolic Buffer Overflow Exploitability Analysis. ICST Workshops (2013)
Sanjay Rawat, Dumitru Ceara, Laurent Mounier, Marie-Laure Potet
Combining Static and Dynamic Analysis for Vulnerability Detection CoRR (2013)
Marie-Laure Potet, Helen Treharne
Preface. Electron. Notes Theor. Comput. Sci. 280 (2011)
Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, Ronan Hardouin
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Commun. ACM 54 (4) (2011)
Nicolas Stouls, Marie-Laure Potet
Security Policy Enforcement Through Refinement Process CoRR (2010)
Dumitru Ceara, Laurent Mounier, Marie-Laure Potet
Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences. ICST Workshops (2010)
Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin
Liability in software engineering: overview of the LISE approach and illustration on a case study. ICSE (1) (2010)
Eduardo Mazza, Marie-Laure Potet, Daniel Le Métayer
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence. SBMF (2010)
Didier Bert, Marie-Laure Potet, Nicolas Stouls
GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. CoRR (2010)
Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet
Designing Log Architectures for Legal Evidence. SEFM (2010)
Xavier Morselli, Marie-Laure Potet, Nicolas Stouls
GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel CoRR (2010)
Sylvain Boulmé, Marie-Laure Potet
Spec#. Rigorous Methods for Software Construction and Analysis (2009)
Frédéric Dadeau, Marie-Laure Potet, Régis Tissot
A B Formal Framework for Security Developments in the Domain of Smart Card Applications. SEC (2008)
Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. ABZ (2008)
Nicolas Stouls, Marie-Laure Potet
Security Policy Enforcement Through Refinement Process. B (2007)
Sylvain Boulmé, Marie-Laure Potet
Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions. B (2007)
Didier Bert, Marie-Laure Potet, Nicolas Stouls
GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties. ZB (2005)
Pierre Bontron, Marie-Laure Potet
Stratégie de couverture de test à un haut niveau d'abstraction. Tech. Sci. Informatiques 23 (7) (2004)
Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin
Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM. Tech. Sci. Informatiques 23 (7) (2004)
Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin
Adaptable Translator of B Specifications to Embedded C Programs. FME (2003)
Marie-Laure Potet
Spécifications et développements structurés dans la méthode B. Tech. Sci. Informatiques 22 (1) (2003)
Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet
Test Purposes: Adapting the Notion of Specification to Testing. ASE (2001)
Pierre Bontron, Marie-Laure Potet
Automatic Construction of Validated B Components from Structured Developments. ZB (2000)
Marie-Laure Potet, Yann Rouzaud
Composition and Refinement in the B-Method. B (1998)
Yves Ledru, Marie-Laure Potet
A VDM Specification of the Steam-Boiler Problem. Formal Methods for Industrial Applications (1995)
Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. JTASPEFT/WSA (1991)
Paul Jacquet, Marie-Laure Potet
Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). ECAI (1986)
Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet
Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. AIMSA (1984)

Marie-Laure Potet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marie-Laure Potet