Personal information
Biography
Sébastien Bardin is a senior researcher at CEA LIST (Saclay, Paris area, France), where he has initiated and now leads the binary-level security analysis group. His research interests lay at the crossroad of formal methods, program analysis, automated reasoning and security. For a few years now, Sébastien has been interested in automating binary-level security analysis by lifting formal methods developed for the safety-critical industry, with applications to vulnerability analysis, reverse, deobfuscation and code protection. He particularly focuses on symbolic execution and he is the main designer of the (open-source) BINSEC platform for binary-level code analysis. Sébastien regularly publishes articles in top-ranked international academic conferences, and he occasionally gives talks at industrial venues such as Black Hat or the Meta TAV Symposium. He is an associate editor of ACM TOPS and he co-chairs the French national working group on Formal Methods & Security. Sébastien holds a PhD from Ecole Normale Supérieure de Cachan (2005), he is an ACM Senior Member and a CEA Fellow.