Marie-Laure Potet

71 papers A* 3A 5B 8C 10Misc 2Journal 21Unranked 19

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