5 citations · 13 across the 9 of their papers we have counts for
4 papers · 1 filter
No Crash, No Exploit: Automated Verification of Embedded Kernels
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin +1
The kernel is the most safety- and security-critical component of many computer systems, as the most severe bugs lead to complete system crash or exploit. It is thus desirable to g…
Automatically Proving Microkernels Free from Privilege Escalation from their Executable
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin +1
Operating system kernels are the security keystone of most computer systems, as they provide the core protection mechanisms. Kernels are in particular responsible for their own sec…
A Deductive Verification Framework for Circuit-building Quantum Programs
Christophe Chareton, Sébastien Bardin, François Bobot +2
While recent progress in quantum hardware open the door for significant speedup in certain key areas, quantum algorithms are still hard to implement right, and the validation of su…
Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities
Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon +2
Directed fuzzing focuses on automatically testing specific parts of the code by taking advantage of additional information such as (partial) bug stack trace, patches or risky opera…