Dr. Sebastien Bardin
Senior Researcher, Software Safety & Security Lab of CEA, Saclay, Paris Area, France
18th May 2022, 1:00pm - 2:00pm (GST)
Five Shades of Symbolic Executions for Vulnerability Hunting
Symbolic Execution emerged in the mid-2000 and was rapidly adopted by the research community as a tool of choice for bug hunting. In this talk, we will focus on security concerns and binary-level vulnerability issues. We will show some challenges symbolic execution faces in this field of application, and report on several results and achievements carried out within the BINSEC group to adapt Symbolic Execution to these challenges.
Sébastien Bardin is a full-time senior researcher at CEA LIST, 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, software engineering 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. More especially, he focuses on binary-level formal methods, vulnerability detection & assessment and malware analysis. He is the main designer of the (open-source) BINSEC platform for binary-level code analysis. He regularly publishes articles in top-ranked international academic conferences in Security, Formal Methods, Software Engineering and Automated Reasoning. Sébastien holds a PhD from Ecole Normale Supérieure de Cachan (2005). He is an ACM Senior Member and a CEA Fellow.