| 2025 | CPP | Formally Verified Hardening of C Programs against Hardware Fault Injection. | Basile Pesin, Sylvain Boulm, David Monniaux, Marie-Laure Potet |
| 2023 | ESOP | Adversarial Reachability for Program-level Security Analysis. | Soline Ducousso, Sbastien Bardin, Marie-Laure Potet |
| 2023 | FDTC | A Compositional Methodology to Harden Programs Against Multi-Fault Attacks. | Etienne Boespflug, Laurent Mounier, Marie-Laure Potet, Abderrahmane Bouguern |
| 2022 | FMCAD | BaxMC: a CEGAR approach to Max#SAT. | Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet |
| 2021 | CARDIS | Fast Calibration of Fault Injection Equipment with Hyperparameter Optimization Techniques. | Vincent Werner, Laurent Maingault, Marie-Laure Potet |
| 2021 | ICSE | Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine. | Frdric Recoules, Sbastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet |
| 2021 | ICSE | RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine". | Frdric Recoules, Sbastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet |
| 2020 | FDTC | Countermeasures Optimization in Multiple Fault-Injection Context. | Etienne Boespflug, Cristian Ene, Laurent Mounier, Marie-Laure Potet |
| 2020 | FDTC | An End-to-End Approach for Multi-Fault Attack Vulnerability Assessment. | Vincent Werner, Laurent Maingault, Marie-Laure Potet |
| 2019 | CoDIT | A Review of Intrusion Detection Systems for Industrial Control Systems. | Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz |
| 2019 | FORTE | Output-Sensitive Information Flow Analysis. | Cristian Ene, Laurent Mounier, Marie-Laure Potet |
| 2018 | CAV | Model Generation for Quantified Formulas: A Taint-Based Approach. | Benjamin Farinier, Sbastien Bardin, Richard Bonichon, Marie-Laure Potet |
| 2018 | DIMVA | Symbolic Deobfuscation: From Virtualized Code Back to the Original. | Jonathan Salwan, Sbastien Bardin, Marie-Laure Potet |
| 2017 | SECRYPT | Formally Verifying Flow Properties in Industrial Systems. | Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch |
| 2016 | ACSAC | Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free. | Josselin Feist, Laurent Mounier, Sbastien Bardin, Robin David, Marie-Laure Potet |
| 2016 | CRITIS | Domain Specific Stateful Filtering with Worst-Case Bandwidth. | Maxime Puys, Jean-Louis Roch, Marie-Laure Potet |
| 2016 | ISSTA | Specification of concretization and symbolization policies in symbolic execution. | Robin David, Sbastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion |
| 2016 | SAFECOMP | FISSC: A Fault Injection and Simulation Secure Collection. | Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen, Philippe de Choudens |
| 2016 | SAFECOMP | Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. | Maxime Puys, Marie-Laure Potet, Pascal Lafourcade |
| 2016 | SEFM | Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information. | Josselin Feist, Laurent Mounier, Marie-Laure Potet |
| 2015 | CARDIS | From Code Review to Fault Injection Attacks: Filling the Gap Using Fault Model Inference. | Louis Dureuil, Marie-Laure Potet, Philippe de Choudens, Ccile Dumas, Jessy Cldire |
| 2014 | ICST | Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections. | Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil |
| 2013 | ICST | A Stack Model for Symbolic Buffer Overflow Exploitability Analysis. | Gustavo Grieco, Laurent Mounier, Marie-Laure Potet, Sanjay Rawat |
| 2010 | ICSE | Liability in software engineering: overview of the LISE approach and illustration on a case study. | Daniel Le Mtayer, Manuel Maarek, Valrie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stphane Frnot, Ronan Hardouin |
| 2010 | ICST | Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences. | Dumitru Ceara, Laurent Mounier, Marie-Laure Potet |
| 2010 | SEFM | Designing Log Architectures for Legal Evidence. | Daniel Le Mtayer, Eduardo Mazza, Marie-Laure Potet |
| 2008 | SEC | A B Formal Framework for Security Developments in the Domain of Smart Card Applications. | Frdric Dadeau, Marie-Laure Potet, Rgis Tissot |
| 2003 | FM | Adaptable Translator of B Specifications to Embedded C Programs. | Didier Bert, Sylvain Boulm, Marie-Laure Potet, Antoine Requet, Laurent Voisin |
| 1991 | SAS | Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. | Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar |
| 1986 | ECAI | Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). | Paul Jacquet, Marie-Laure Potet |
| 1984 | AIMSA | Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. | Ramn F. Brena, Ricardo Caferra, Bertram Fronhfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet |