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