Description
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émiques où ils ont été plusieurs fois récompensés, il a été orateur à BlackHat et au Meta TAV symposium. Il a par ailleurs participé à plusieurs roadmaps européennes et est fortement impliqué dans le GDR Sécurité ("méthodes formelles et sécurité") et dans le PEPR Cybersécurité -- où il co-dirige le projet SECUREVAL. Sébastien est ACM Senior Member et CEA Fellow.
