Born in France, he held an industrial chair in digital trust from 2013 to 2016. His research focuses on computer security, including the formal verification of cryptographic protocols, electronic voting and blockchain. He has written more than 180 articles as well as several books in security, cryptography and pedagogy.