Context & Consortium
News
Publications
Contact
SecurEval
Improving Digital Systems Security Evaluation
Publications
Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks. VMCAI 2023
F. Parolini and A. Miné
Binsec/Rel : Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure.
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk.
Introducing Robust Reachability.
Guillaume Girol, Benjamin Farinier, Sébastien Bardin
BAXMC: a CEGAR approach to Max#SAT
Thomas Vigouroux , Cristian Ene, David Monniaux , Laurent Mounier, Marie-Laure Potet
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities. Journal of Cryptographic Engineering 2023
Guilhem Lacombe, David Féliot, Etienne Boespflug, Marie-Laure Potet
PROSPECT: Provably Secure Speculation for the Constant-Time Policy
Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
Adversarial Reachability for Program-level Security Analysis
Soline Ducousso, Sébastien Bardin, Marie-Laure Potet.
The Cubicle Fuzzy Loop : A Fuzzy-Based Extension for the Cubicle Model Checker. SEFM 2023
S. Conchon, A. Korneva
A generic framework to develop and verify security mechanisms at the microarchitectural level: application to control-flow integrity
Matthieu Baty, Pierre Wilke, Guillaume Hiet, Alix Trieu, Arnaud Fotaine
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
A Product of Shape and Sequence Abstractions. SAS 2023
Josselin Giet, Félix Ridoux, and Xavier Rival
Symbolic transformation of expressions in modular arithmetic. SAS 2023
Jérôme Boillot, Jérôme Feret
Function Synthesis for Maximizing Model Counting
Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier
Inference of Robust Reachability Constraints
Yanis Sellami, Guillaume Girol, Frédéric Recoules, Damien Couroussé, Sébastien Bardin
Mopsa-C with Trace Partitioning and Autosuggestions(Competition Contribution). TACAS 2025
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Attacker Control and Bug Prioritization. Usenix 2025 [rank A*]
Guilhem Lacombe, Sébastien Bardin