I am on leave from Inria, working as CEO and chief research scientist at pereq.

My research concerns the design and implementation of formal verification and security analysis techniques for real-world software systems. I have been involved in the design, analysis, and standardization of TLS 1.3, Hybrid Public Key Encryption, and Messaging Layer Security at the IETF. A full list of my publications is available from DBLP.

Recruitment: At pereq, we are looking for engineers who are excited about building high-assurance software using formal analysis techniques. At Inria, my old team Prosecco is always on the lookout for excellent Ph.D. students and Post-Docs to work on a variety of topics, including cryptographic protocol design, analysis, and implementation.

Current Projects: pereq, hax, libcrux, bertie

Past PhD Students: Evmorfia-Iro Bartzia, Antoine Delignat-Lavaud, Jean Karim Zinzdohoue, Nadim Kobeissi, Benjamin Beurdouche, Marina Polubelova, Natalia Kulatova, Denis Merigoux, Benjamin Lipp, Son Ho, Théophile Wallez

News: See the pereq blog