Sébastien Bardin

Sébastien Bardin is a senior researcher at CEA LIST, where he has initiated and now leads the binary-level security analysis group. Sébastien is interested in automating binary-level code security analysis, with applications to vulnerability analysis, software-hardware attacks, reverse, deobfuscation and code protection. 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 has co-chaired for many years the French national working group on Formal Methods & Security, and he co-leads SECUREVAL, a major initiative for security-oriented program analysis (part of France 2030 PEPR Cybersécurité). Sébastien is a CEA Fellow and an ACM Senior Member.