I am a security researcher working at Mozilla in Paris and previously graduated with a PhD from Inria and École Normale Supérieure.
My research is focused on using formal methods to implement cryptographic primitives and to design security & privacy protocols.
I currently work on multiple projects at Mozilla such as leading Network Security Services (NSS), the Cryptographic and TLS library used in Firefox and many other products. NSS also contains the implementation of the Mozilla Root Store which is managed by my colleagues within the Security and Privacy Engineering team.
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…
- NDSS 2023, CHES 2022, CHES 2021, SSR 2022, SSR 2020, IEEE S&P 2016 (shadow)
- Occasional reviews at CCS 2022, Eurocrypt 2021, CCS 2020, S&P, Crypto…
Some Research Awards:
- Best papers IEEE S&P 2015, Usenix WOOT 2016