Sébastien BARDIN
Researcher in Computer Science  


Sebastien's picture


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

Current position
Senior Researcher,
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 Senior 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 solving based solvers for security- and verification- oriented problems

  see also some past projects   



Boards and committees

Program chair, General chair or Organization  chair

Program committees




    Talks & tutorials

Projects and grants


Some past projects



PhD students and postdocs

Current PhD students

Current Postdoc

Happily graduated PhD students

Former postdoc

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