Laurent Mounier

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 23

Top Venues

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier
Function Synthesis for Maximizing Model Counting. VMCAI (1) (2024)
Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier
Function synthesis for maximizing model counting. CoRR (2023)
Etienne Boespflug, Laurent Mounier, Marie-Laure Potet, Abderrahmane Bouguern
A Compositional Methodology to Harden Programs Against Multi-Fault Attacks. FDTC (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)
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)
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)
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)
Hubert Garavel, Frédéric Lang, Laurent Mounier
Compositional Verification in Action. FMICS (2018)
Franck de Goër, Roland Groz, Laurent Mounier
Metrics for runtime detection of allocators in binaries. CSET @ USENIX Security Symposium (2017)
Franck de Goër, Christopher Ferreira, Laurent Mounier
scat: Learning from a single execution of a binary. SANER (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)
Gustavo Grieco, Guillermo Luis Grinblat, Lucas C. Uzal, Sanjay Rawat, Josselin Feist, Laurent Mounier
Toward Large-Scale Vulnerability Discovery using Machine Learning. CODASPY (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)
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)
Franck de Goër, Roland Groz, Laurent Mounier
Lightweight heuristics to retrieve parameter associations from binaries. PPREW@ACSAC (2015)
Josselin Feist, Laurent Mounier, Marie-Laure Potet
Statically detecting use after free on binary code. J. Comput. Virol. Hacking Tech. 10 (3) (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)
Nicolas Berthier, Florence Maraninchi, Laurent Mounier
Synchronous programming of device drivers for global resource control in embedded operating systems. ACM Trans. Embed. Comput. Syst. 12 (1s) (2013)
Gustavo Grieco, Laurent Mounier, Marie-Laure Potet, Sanjay Rawat
A Stack Model for Symbolic Buffer Overflow Exploitability Analysis. ICST Workshops (2013)
Emmanuel Sifakis, Laurent Mounier
Predictive Taint Analysis for Extended Testing of Parallel Executions. Haifa Verification Conference (2013)
Sanjay Rawat, Dumitru Ceara, Laurent Mounier, Marie-Laure Potet
Combining Static and Dynamic Analysis for Vulnerability Detection CoRR (2013)
Emmanuel Sifakis, Laurent Mounier
Politiques de gestion de protections pour l'implémentation de sections critiques. Tech. Sci. Informatiques 31 (8-10) (2012)
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
What can you verify and enforce at runtime? Int. J. Softw. Tools Technol. Transf. 14 (3) (2012)
Laurent Mounier, Emmanuel Sifakis
Dynamic Information-Flow Analysis for Multi-threaded Applications. ISoLA (1) (2012)
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
More testable properties. Int. J. Softw. Tools Technol. Transf. 14 (4) (2012)
Sanjay Rawat, Laurent Mounier
Finding Buffer Overflow Inducing Loops in Binary Executables. SERE (2012)
Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier
A Taint Based Approach for Smart Fuzzing. ICST (2012)
Sanjay Rawat, Laurent Mounier
Offset-Aware Mutation Based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results. ICST Workshops (2011)
Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier
Finding Software Vulnerabilities by Smart Fuzzing. ICST (2011)
Nicolas Berthier, Florence Maraninchi, Laurent Mounier
Synchronous programming of device drivers for global resource control in embedded operating systems. LCTES (2011)
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier
Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods Syst. Des. 38 (3) (2011)
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
More Testable Properties. ICTSS (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)
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
Enforcement monitoring wrt. the safety-progress classification of properties. SAC (2009)
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
Runtime Verification of Safety-Progress Properties. RV (2009)
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. ICISS (2008)
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier
j-POST: a Java Toolchain for Property-Oriented Software Testing. Electron. Notes Theor. Comput. Sci. 220 (1) (2008)
Keqin Li, Laurent Mounier, Roland Groz
Test Generation from Security Policies Specified in Or-BAC. COMPSAC (2) (2007)
Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. NCA (2007)
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
The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. SECON (2007)
Laurent Mounier, Ludovic Samper, Wassim Znaidi
Worst-case lifetime computation of a wireless sensor network by model-checking. PE-WASUN (2007)
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
A Compositional Testing Framework Driven by Partial Specifications. TestCom/FATES (2007)
Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier
Confirmation of deadlock potentials detected by runtime analysis. PADTAD (2006)
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
A Test Calculus Framework Applied to Network Security Policies. FATES/RV (2006)
Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel
GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. InterSense (2006)
Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier
Test Generation for Network Security Rules. TestCom (2006)
Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
A Model-Based Approach for Robustness Testing. TestCom (2005)
Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
IF Validation Environment Tutorial. SPIN (2004)
Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
Property Oriented Test Case Generation. FATES (2003)
Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani
Validation of asynchronous circuit specifications using IF/CADP. VLSI-SOC (2003)
Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Siriani
Validation of Asynchronous Circuit Specifications Using IF/CADP. VLSI-SoC (Selected Papers) (2003)
Marius Bozga, Susanne Graf, Laurent Mounier
IF-2.0: A Validation Environment for Component-Based Real-Time Systems. CAV (2002)
Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent
Timed Extensions for SDL. SDL Forum (2001)
Marius Bozga, Susanne Graf, Laurent Mounier
Automated validation of distributed software using the IF environment. Electron. Notes Theor. Comput. Sci. 55 (3) (2001)
Marius Bozga, Susanne Graf, Laurent Mounier
Automated Validation of Distributed Software Using the IF Environment. NCA (2001)
Jean-Pierre Krimm, Laurent Mounier
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. TACAS (2000)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier
Verification and test generation for the SSCOP protocol. Sci. Comput. Program. 36 (1) (2000)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
IF: A Validation Environment for Timed Asynchronous Systems. CAV (2000)
Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent
SDL for Real-Time: What is Missing? SAM (2000)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis
IF: An intermediate representation for SDL and its applications. SDL Forum (1999)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. World Congress on Formal Methods (1999)
Jean-Pierre Krimm, Laurent Mounier
Compositional State Space Generation from Lotos Programs. TACAS (1997)
Hubert Garavel, Laurent Mounier
Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks. Sci. Comput. Program. 29 (1-2) (1997)
Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
Protocol Verification with the ALDÉBARAN Toolset. Int. J. Softw. Tools Technol. Transf. 1 (1-2) (1997)
Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
CADP - A Protocol Validation and Verification Toolbox. CAV (1996)
Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian
Bus Arbitration Protocol: An Industrial Experiment with LOTOS. FORTE (1996)
Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
Symbolic Equivalence Checking. CAV (1993)
Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron
On-the-fly Verification of Finite Transition Systems. Formal Methods Syst. Des. 1 (2/3) (1992)
Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis
A Toolbox for the Verification of LOTOS Programs. ICSE (1992)
Jean-Claude Fernandez, Laurent Mounier
"On the Fly" Verification of Behavioural Equivalences and Preorders. CAV (1991)
Jean-Claude Fernandez, Laurent Mounier
A Tool Set for deciding Behavioral Equivalences. CONCUR (1991)
Jean-Claude Fernandez, Laurent Mounier
Verifying Bisimulations "On the Fly". FORTE (1990)

Laurent Mounier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Laurent Mounier