Sébastien Bardin

Sébastien Bardin est chercheur au CEA LIST, où il a fondé et dirige l'équipe d'analyse formelle de code binaire pour la sécurité. Sébastien travaille à l'intersection des méthodes formelles, du génie logiciel, de la sécurité et du raisonnement automatique, avec des applications en analyse de vulnérabilités et reverse. Sébastien est le concepteur principal de la plate-forme BINSEC. Ses travaux sont régulièrement présentés dans les meilleures conférences académques, il a été orateur à BlackHat et au Facebook TAV symposium, et a participé à plusieurs roadmaps européennes. Par ailleurs, Sébastien a coordonné plusieurs projets ANR, est fortement impliqué dans le GDR Sécurité (co-responsable du GT "méthodes formelles et sécurité") et co-dirige actuellement le projet SECUREVAL du PEPR Cybersécurité. Sébastien est également ACM Senior Member et CEA Fellow.