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-Région, France

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




I work in the  Software Reliability lab at CEA (Saclay, Paris Area, France). I am interested in the application of formal methods to software security, More specifically, i work on the automatic analysis of executable files, by means of static analysis and symbolic execution, with applications to reverse engineering and vulnerability 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 representations and acceleration techniques. I especially focused on pointer systems and counter systems.



Research Interests

Verification of machine code 

Model checking systems with infinite state-space (past)



News



Projects

Current

Past


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