I am a security researcher working at Mozilla in Paris and previously graduated with a PhD from Inria and École Normale Supérieure.

My primary role these days is to lead strategic initiatives related to Firefox Enterprise while, in the background, my research is focused on using formal methods to implement cryptographic primitives and to design and analyze security & privacy protocols.

In addition, I currently lead multiple other projects at Mozilla such as Messaging Layer Security (MLS), Web Application Integrity Consistency Transparency (WAICT), Secure Storage, and our cryptographic and TLS library (NSS).

Working on Internet Standards at the Internet Engineering Task Force (IETF) is also an important part of my work. I help standardizing security and privacy protocols such as TLS 1.3 and MLS 1.0.

Outside work, I am one of the members of the European Commission’s Expert Group on a roadmap on Encryption.

I am also a co-author of the HACL* formally verified cryptographic library, which is used in many places such as Windows or the Linux Kernel…

Research Awards:

  • Internet Defense Prize at Usenix Security 2023
  • Distinguished paper at Usenix Security 2023
  • Distinguished paper at IEEE S&P 2015
  • Best paper at Usenix WOOT 2016

Program Committees:

  • IEEE Security and Privacy 2026 and 2025
  • CHES 2026, 2023, 2022 and 2021
  • Real World Crypto 2024 and 2023
  • NDSS 2023
  • SSR 2022 and 2020
  • IEEE S&P 2016 (shadow)
  • Occasional reviews at CCS, Usenix, Eurocrypt, Crypto…