Er wurde in Frankreich geboren und hatte von 2013 bis 2016 einen Lehrstuhl für digitales Vertrauen inne. Seine Forschungsschwerpunkt liegt auf Computersicherheit, einschließlich der formalen Prüfung von kryptografischen Protokollen, elektronischen Abstimmungen und Blockchain. Er hat mehr als 180 Artikel sowie mehrere Bücher in den Bereichen Sicherheit, Kryptografie und Pädagogik verfasst.