Laurent Mounier

86 papers A* 8A 8B 9C 8Misc 2Journal 18Unranked 29

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Function Synthesis for Maximizing Model Counting. VMCAI (1) Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier
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	—	`ed.`	Foundations and Practice of Security - 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers FPS Guy-Vincent Jourdan, Laurent Mounier, Carlisle M. Adams, Florence Sèdes, Joaquín García-Alfaro
2023	J	`jnl`	Function synthesis for maximizing model counting. CoRR Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier
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	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`	Countermeasures Optimization in Multiple Fault-Injection Context. FDTC Etienne Boespflug, Cristian Ene, Laurent Mounier, Marie-Laure Potet
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	C	`conf`	Compositional Verification in Action. FMICS Hubert Garavel, Frédéric Lang, Laurent Mounier
2017	—	`conf`	Metrics for runtime detection of allocators in binaries. CSET @ USENIX Security Symposium Franck de Goër, Roland Groz, Laurent Mounier
2017	A	`conf`	scat: Learning from a single execution of a binary. SANER Franck de Goër, Christopher Ferreira, Laurent Mounier
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	—	`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`	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
2016	—	`conf`	Toward Large-Scale Vulnerability Discovery using Machine Learning. CODASPY Gustavo Grieco, Guillermo Luis Grinblat, Lucas C. Uzal, Sanjay Rawat, Josselin Feist, Laurent Mounier
2015	—	`conf`	Lightweight heuristics to retrieve parameter associations from binaries. PPREW@ACSAC Franck de Goër, Roland Groz, Laurent Mounier
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	—	`ch.`	On the Expressiveness of some Runtime Validation Techniques. HOWARD-60 Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
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
2013	—	`conf`	Predictive Taint Analysis for Extended Testing of Parallel Executions. Haifa Verification Conference Emmanuel Sifakis, Laurent Mounier
2013	J	`jnl`	Synchronous programming of device drivers for global resource control in embedded operating systems. ACM Trans. Embed. Comput. Syst. Nicolas Berthier, Florence Maraninchi, Laurent Mounier
2012	A	`conf`	A Taint Based Approach for Smart Fuzzing. ICST Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier
2012	—	`conf`	Dynamic Information-Flow Analysis for Multi-threaded Applications. ISoLA (1) Laurent Mounier, Emmanuel Sifakis
2012	—	`conf`	Finding Buffer Overflow Inducing Loops in Binary Executables. SERE Sanjay Rawat, Laurent Mounier
2012	J	`jnl`	More testable properties. Int. J. Softw. Tools Technol. Transf. Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
2012	J	`jnl`	Politiques de gestion de protections pour l'implémentation de sections critiques. Tech. Sci. Informatiques Emmanuel Sifakis, Laurent Mounier
2012	J	`jnl`	What can you verify and enforce at runtime? Int. J. Softw. Tools Technol. Transf. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
2011	A	`conf`	Finding Software Vulnerabilities by Smart Fuzzing. ICST Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier
2011	—	`conf`	Offset-Aware Mutation Based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results. ICST Workshops Sanjay Rawat, Laurent Mounier
2011	J	`jnl`	Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods Syst. Des. Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier
2011	B	`conf`	Synchronous programming of device drivers for global resource control in embedded operating systems. LCTES Nicolas Berthier, Florence Maraninchi, Laurent Mounier
2010	C	`conf`	More Testable Properties. ICTSS Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
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	Misc	`conf`	Enforcement monitoring wrt. the safety-progress classification of properties. SAC Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
2009	B	`conf`	Runtime Verification of Safety-Progress Properties. RV Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
2008	Misc	`conf`	Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. ICISS Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
2008	—	`conf`	j-POST: a Java Toolchain for Property-Oriented Software Testing. MBT@ETAPS Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier
2007	—	`conf`	A Compositional Testing Framework Driven by Partial Specifications. TestCom/FATES Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
2007	—	`conf`	Test Generation from Security Policies Specified in Or-BAC. COMPSAC (2) Keqin Li, Laurent Mounier, Roland Groz
2007	B	`conf`	The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. SECON Mischa Dohler, Dominique Barthel, Florence Maraninchi, Laurent Mounier, Stephane Aubert, Christophe Dugas, Aurélien Buhrig, Franck Paugnat, Marc Renaudin, Andrzej Duda, Martin Heusse, Fabrice Valois
2007	B	`conf`	Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. NCA Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis
2007	—	`conf`	Worst-case lifetime computation of a wireless sensor network by model-checking. PE-WASUN Laurent Mounier, Ludovic Samper, Wassim Znaidi
2006	—	`conf`	A Test Calculus Framework Applied to Network Security Policies. FATES/RV Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
2006	—	`conf`	Confirmation of deadlock potentials detected by runtime analysis. PADTAD Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier
2006	—	`conf`	GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. InterSense Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel
2006	—	`conf`	Test Generation for Network Security Rules. TestCom Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier
2005	—	`conf`	A Model-Based Approach for Robustness Testing. TestCom Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
2004	—	`conf`	IF Validation Environment Tutorial. SPIN Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
2004	—	`ed.`	Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings SPIN Susanne Graf, Laurent Mounier
2003	—	`conf`	Property Oriented Test Case Generation. FATES Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
2003	—	`conf`	Validation of Asynchronous Circuit Specifications Using IF/CADP. VLSI-SoC (Selected Papers) Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani
2003	C	`conf`	Validation of asynchronous circuit specifications using IF/CADP. VLSI-SOC Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani
2002	A*	`conf`	IF-2.0: A Validation Environment for Component-Based Real-Time Systems. CAV Marius Bozga, Susanne Graf, Laurent Mounier
2001	B	`conf`	Automated Validation of Distributed Software Using the IF Environment. NCA Marius Bozga, Susanne Graf, Laurent Mounier
2001	—	`conf`	Automated validation of distributed software using the IF environment. Workshop on Software Model Checking @ CAV Marius Bozga, Susanne Graf, Laurent Mounier
2001	—	`conf`	Timed Extensions for SDL. SDL Forum Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent
2000	A	`conf`	Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. TACAS Jean-Pierre Krimm, Laurent Mounier
2000	A*	`conf`	IF: A Validation Environment for Timed Asynchronous Systems. CAV Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
2000	—	`conf`	SDL for Real-Time: What is Missing? SAM Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent
2000	J	`jnl`	Verification and test generation for the SSCOP protocol. Sci. Comput. Program. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier
1999	—	`conf`	IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. World Congress on Formal Methods Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
1999	—	`conf`	IF: An intermediate representation for SDL and its applications. SDL Forum Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis
1997	A	`conf`	Compositional State Space Generation from Lotos Programs. TACAS Jean-Pierre Krimm, Laurent Mounier
1997	J	`jnl`	Protocol Verification with the ALDÉBARAN Toolset. Int. J. Softw. Tools Technol. Transf. Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
1997	J	`jnl`	Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks. Sci. Comput. Program. Hubert Garavel, Laurent Mounier
1996	A*	`conf`	CADP - A Protocol Validation and Verification Toolbox. CAV Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
1996	C	`conf`	Specification and Verification of the PowerScale FORTE Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian
1993	A*	`conf`	Symbolic Equivalence Checking. CAV Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
1992	A*	`conf`	A Toolbox for the Verification of LOTOS Programs. ICSE Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodríguez, Joseph Sifakis
1992	—	`—`	Méthodes de vérification de spécifications comportementales : étude et mise en œuvre. (Verification methods for behavioural specifications). Laurent Mounier
1992	J	`jnl`	On-the-fly Verification of Finite Transition Systems. Formal Methods Syst. Des. Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron
1991	A*	`conf`	"On the Fly" Verification of Behavioural Equivalences and Preorders. CAV Jean-Claude Fernandez, Laurent Mounier
1991	B	`conf`	A Tool Set for deciding Behavioral Equivalences. CONCUR Jean-Claude Fernandez, Laurent Mounier
1990	C	`conf`	Verifying Bisimulations "On the Fly". FORTE Jean-Claude Fernandez, Laurent Mounier