Sébastien BARDIN
Researcher in Computer Science  

   


ebastien's picture


Education

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

Current position
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 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   



News


Projects and grants

Current


Publications


Software



Postdocs, PhDs and trainee proposals

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

Teaching [partly in French]

Current


Former

Other stuff [partly in French]





Document made with Nvu