Laurent Mounier

Institut polytechnique de Grenoble — France

Computer Science · Physical Sciences

29h-index2.7kcitations104works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(47), Software Testing and Debugging Techniques(42), Security and Verification in Computing(26), Advanced Malware Detection Techniques(22), Software Reliability and Analysis Research(18)

Publications104 total

Function Synthesis for Maximizing Model Counting
Lecture notes in computer science·2023· 2 citedOpen Access
A Compositional Methodology to Harden Programs Against Multi-Fault Attacks
2023Open Access
A tool assisted methodology to harden programs against multi-faults injections
arXiv (Cornell University)·2023Open Access
BAXMC: a CEGAR approach to Max#SAT
INRIA a CCSD electronic archive server·2022Open Access
RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 – “Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine”
2021
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
2021Open Access
Interface Compliance of Inline Assembly: Automatically Check, Patch and\n Refine
arXiv (Cornell University)·2021Open Access
Output-sensitive Information flow analysis
Logical Methods in Computer Science·2021Open Access
Countermeasures Optimization in Multiple Fault-Injection Context
2020· 3 citedOpen Access
Get Rid of Inline Assembly through Verification-Oriented Lifting
2019· 1 citedOpen Access
Output-Sensitive Information Flow Analysis
Lecture notes in computer science·2019· 1 citedOpen Access
Get rid of inline assembly through trustable verification-oriented lifting.
2019
Actes des Dixièmes journées nationales du GDR Génie de la Programmation et du Logiciel
HAL (Le Centre pour la Communication Scientifique Directe)·2018
Compositional Verification in Action
Lecture notes in computer science·2018· 18 citedOpen Access
Metrics for runtime detection of allocators in binaries
HAL (Le Centre pour la Communication Scientifique Directe)·2017· 1 cited
scat: Learning from a single execution of a binary
2017· 2 cited
Rigor in Experimentation
2017
scat: Learning from a Single Execution of a Binary
HAL (Le Centre pour la Communication Scientifique Directe)·2017Open Access
Finding the needle in the heap
2016· 24 cited
Finding the Needle in the Heap: Combining Static Analysis and Dynamic Symbolic Execution to Trigger Use-After-Free
HAL (Le Centre pour la Communication Scientifique Directe)·2016· 2 citedOpen Access
page 1 of 6Next →

Frequent Co-authors

Jean-Claude Fernandez(20), Marius Bozga(9), Ylìès Falcone(8), Susanne Graf(8), Marie-Laure Potet(6), Hubert Garavel(5), Josselin Feist(5), Jean-Pierre Krimm(5), Sanjay Rawat(4), Roland Groz(4), Lucian Ghirvu(4), Alain Kerbrat(3), Jean-Luc Richier(3), Joseph Sifakis(3), Robin David(3), Sébastien Bardin(3), Thierry Jéron(3), J. C. Fernandez(2), Sofia Bekrar(2), Chaouki Bekrar(2)