Publications | Talks

2024

[SAS] Trace Partitioning as an Optimization Problem
Charles Babu M, Matthieu Lemerre, Sébastien Bardin, Jean-Yves Marion
31st Static Analysis Symposium (SAS 2024)

In a nutshell PDF Artefact

[PLDI] Quantitative Robustness for Vulnerability Assessment
Guillaume Girol, Guilhem Lacombe, Sébastien Bardin
45th ACM-SIGPLAN Symposium on Programming Language Design and Implementation
CORE RANKING: A*

In a nutshell PDF

[PLDI] Compiling with Abstract Interpretation
Dorian Lesbre, Matthieu Lemerre
45th ACM-SIGPLAN Symposium on Programming Language Design and Implementation
CORE RANKING: A*

In a nutshell PDF Bibtex Artefact Talk Slides
Also presented at AFADL 2024

[POPL] Inference of Robust Reachability Constraints
Yanis Sellami, Guillaume Girol, Frédéric Recoules, Damien Couroussé, Sébastien Bardin
51st ACM SIGPLAN Symposium on Principles of Programming Languages
CORE RANKING: A*

In a nutshell PDF Bibtex Benchmark Slides

2023

[ESEC/FSE] Scalable Program Clone Search through Spectral Analysis
Tristan Benoit, Jean-Yves Marion, Sébastien Bardin
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
CORE RANKING: A*

In a nutshell PDF Bibtex Benchmark Slides

[CCS] A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries
Antoine Geimer, Mathéo Vergnolle, Frédéric Recoules, Lesly-Ann Daniel, Sébastien Bardin, Clémentine Maurice
The ACM Conference on Computer and Communications Security
CORE RANKING: A*
PDF Bibtex Benchmark Slides

[KR] Active Disjunctive Constraint Acquisition
Grégoire Menguy, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar
International Conference on Principles of Knowledge Representation and Reasoning
CORE RANKING: A*
In a nutshell PDF Bibtex Artefact Slides

[TOSEM] Fine-Grained Coverage-Based Fuzzing
Wei-Cheng Wu, Bernard Nongpoh, Marwan Nour, Michaël Marcozzi, Sébastien Bardin, Christophe Hauser
ACM Transactions on Software Engineering and Methodology
CORE RANKING: A*
In a nutshell PDF Artefact Benchmark Slides
Presented at ASE 2023 (A*) journal-first track

[ESOP] Adversarial Reachability for Program-level Security Analysis
Soline Ducousso, Sébastien Bardin, Marie-Laure Potet
The 32nd European Symposium on Programming
CORE RANKING: A

In a nutshell PDF Bibtex Artefact Benchmark Slides

[USENIX security] ProSpeCT: Provably Secure Speculation for the Constant-Time Policy
Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
The 32nd USENIX Security Symposium
CORE RANKING: A*
PDF

[POPL] SSA Translation Is an Abstract Interpretation
Matthieu Lemerre
The 50th ACM SIGPLAN Symposium on Principles of Programming Languages
CORE RANKING: A*

In a nutshell PDF Artefact Talk Slides
Distinguished Paper Award

2022

[IJCAI] Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
The 31st International Joint Conference on Artificial Intelligence
CORE RANKING: A*
In a nutshell PDF Bibtex Artefact Slides

[FUZZING] Registered Report: Fine-Grained Coverage-Based Fuzzing
Bernard Nongpoh, Marwan Nour, Michaël Marcozzi, Sébastien Bardin
The 1st International Fuzzing Workshop
In a nutshell PDF Slides

[VMCAI] Lightweight Shape Analysis based on Physical Types
Olivier Nicole, Matthieu Lemerre, Xavier Rival
The 23rd International Conference on Verification, Model Checking, and Abstract Interpretation

In a nutshell PDF Bibtex Artefact Talk Slides

[FMSD] Introducing Robust Reachability
Guillaume Girol, Benjamin Farinier, Sébastien Bardin
Formal Methods in System Design
CORE RANKING: A
PDF
Selected papers from CAV 2021

[TOPS] Binsec/Rel : Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
ACM Transactions on Privacy and Security
CORE RANKING: A
PDF
Extended version of S&P 2020 and NDSS 2021 papers

2021

[FPS] A Tight Integration of Symbolic Execution and Fuzzing
Yaëlle Vinçont, Sébastien Bardin, Michaël Marcozzi
The 14th International Symposium on Foundations & Practice of Security
In a nutshell PDF Slides

[CCS] Search-based Local Blackbox Deobfuscation: Understand, Improve and Mitigate
Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
The 28th ACM Conference on Computer and Communications Security
CORE RANKING: A*
In a nutshell PDF Bibtex Artefact Benchmark Talk Slides

[CAV] Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference
Guillaume Girol, Benjamin Farinier, Sébastien Bardin
The 33th International Conference on Computer Aided Verification
CORE RANKING: A*

In a nutshell PDF Bibtex Artefact Benchmark Talk Slides

[ICSE] Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
The 43rd International Conference on Software Engineering
CORE RANKING: A*

In a nutshell PDF Bibtex Artefact Benchmark Talk Slides
ACM SIGSOFT Distinguished Paper Award

[RTAS] No Crash, No Exploit: Automatic Verification of Embedded Kernels
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
The 27th IEEE Real-Time and Embedded Technology and Applications Symposium
CORE RANKING: A

In a nutshell PDF Bibtex Artefact Benchmark Talk Slides
Best and Outstanding Paper Awards
Also presented at AFADL 2021

[NDSS] Hunting the Haunter -- Efficient Relational Symbolic Execution for Spectre with Haunted RelSE
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
The 28th Network and Distributed System Security Symposium
CORE RANKING: A*
In a nutshell PDF Bibtex Artefact Benchmark Talk Slides

2020

[RAID] Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities
Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
The 23rd International Symposium on Research in Attacks, Intrusions and Defenses
CORE RANKING: A
In a nutshell PDF Bibtex Artefact Benchmark Slides
Also presented at AFADL 2021

[S&P] Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
The 41st IEEE Symposium on Security and Privacy
CORE RANKING: A*
In a nutshell PDF Bibtex Artefact Benchmark Talk Slides
Also presented at the KLEE workshop 2021 and AFADL 2021

[SAS] Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries
Hugo Illous, Matthieu Lemerre, Xavier Rival
The 27th International Symposium on Static Analysis:
PDF Bibtex Slides
Also presented at SPLASH 2022

2019

[ASE] Get Rid of Inline Assembly through Verification-Oriented Lifting
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet
The 34th IEEE/ACM International Conference on Automated Software Engineering
CORE RANKING: A
In a nutshell PDF Bibtex Artefact Talk Slides
Also presented at the KLEE workshop 2021

[ACSAC] How to Kill Symbolic Deobfuscation for Free (or: Unleashing the Potential of Path-Oriented Protections)
Mathilde Ollivier, Sébastien Bardin, Richard Bonichon, Jean-Yves Marion
The 35th Annual Computer Security Applications Conference
CORE RANKING: A
In a nutshell PDF Bibtex Benchmark Slides

[SSPREW] Obfuscation: where are we in anti-DSE protections? (a first attempt)
Mathilde Ollivier, Sébastien Bardin, Richard Bonichon, Jean-Yves Marion
The 9th Software Security, Protection, and Reverse Engineering Workshop
PDF Bibtex Slides

2018

[LPAR] Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
Benjamin Farinier, Sébastien Bardin, Robin David, Matthieu Lemerre
The 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
CORE RANKING: A
In a nutshell PDF Bibtex

[DIMVA] Symbolic Deobfuscation: from Virtualized Code Back to the Original
Jonathan Salwan, Sébastien Bardin, Marie-Laure Potet
The 15th Conference on Detection of Intrusions and Malware & Vulnerability Assessment
PDF Bibtex

[CAV] Model Generation for Quantified Formulas: A Taint-Based Approach
Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet
The 30th International Conference on Computer Aided Verification
CORE RANKING: A*
PDF Bibtex

2017

[S&P] Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes
Sébastien Bardin, Robin David, Jean-Yves Marion
The 38st IEEE Symposium on Security and Privacy
CORE RANKING: A*
In a nutshell PDF Bibtex Talk Slides

2016

[SSPREW] Finding the Needle in the Heap: Combining Static Analysis and Dynamic Symbolic Execution to Trigger Use-After-Free
Josselin Feist, Laurent Mounier, Sébastien Bardin, Robin David, Marie-Laure Potet
The 6th Software Security, Protection, and Reverse Engineering Workshop
PDF Bibtex

[FM] Recovering High-level Conditions from Binary Programs
Adel Djoudi, Sébastien Bardin, Eric Goubault
The 21st International Symposium on Formal Methods
CORE RANKING: A
PDF Bibtex Slides

[ISSTA] Specification of Concretization and Symbolization Policies in Symbolic Execution
Robin David, Sébastien Bardin, Josselin Feist, Thanh Ta, Laurent Mounier, Marie-Laure Potet, Jean-Yves Marion
The International Symposium on Software Testing and Analysis
CORE RANKING: A
PDF Bibtex Slides

[SANER] BINSEC/SE : A Dynamic Symbolic Execution Toolkit for Binary-level Analysis
Robin David, Sébastien Bardin, Thanh Ta, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Jean-Yves Marion
The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering
PDF Bibtex Slides

2015

[TACAS] BINSEC: Binary Code Analysis with Low-Level Regions
Adel Djoudi, Sébastien Bardin
The 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems
CORE RANKING: A
PDF Bibtex