Sébastien BARDIN
Researcher in Computer Science  


ebastien's picture


Ph.D. in Computer Science, ENS Cachan (France), 2005
M.S. in Computer Science, ENSIIE (France), 2002

Current position
Software Safety and Security Lab.,
Commissariat à l'Energie Atomique (CEA), 
Paris-Saclay, France

Contact information
Email    : sebastien.bardin(at)cea.fr
Phone   : +33 (0)1 69 08 54 16
Address: CEA NanoInnov, Palaiseau, France

I hold a researcher position at the  Software Safety & Security Lab of CEA (Saclay, Paris Area, France). I work in the domain of formal methods and automatic program analysis. In a general way, I am interested in developing methods and tools that help achieving high level of confidence in trust-sensitive, software-intensive systems.   I am currently interested in the application of formal methods to software security, with a strong focus on binary-level security analyses such as vulnerability detection & assessment, reverse engineering or malware deobfuscation. My other current research interests include software testing, theorem proving, symbolic execution and static analysis. Before that, I prepared my Ph.D. in the Laboratoire Spécification et Vérification (ENS Cachan, Paris Area, France), where I worked on the verification of infinite state systems via symbolic model checking techniques.   

Research Interests

Binary-level security analysis

Automatic and efficient software testing: a coverage-objective specification language plus automated analyses

Constraint Programming based solvers for verification-oriented problems

  see also some past projects   


Projects and grants




Postdocs, PhDs and trainee proposals

I am always looking for motivated students or postdoc fellows.
Current proposals.

Teaching [partly in French]



Other stuff [partly in French]

Document made with Nvu