I'm a computer scientist and software developer with a focus on applied cryptography and software security, based in Paris, France. I'm also a hobbyist puzzle game developer and runner.
I currently serve as a Senior Applied Cryptography Auditor at Cure53, where I've worked on auditing over 250 real-world cryptographic systems, and at Symbolic Software, a boutique applied cryptography consultancy and software publisher in Paris.
A list of academic publications is available at Google Scholar. There's also my academic CV.
I have a strong passion for teaching and pedagogy, and I try to engage in it as much as I can.
I earned my Ph.D. with the thesis Formal Verification for Real-World Cryptographic Protocols and Implementations at Inria Paris, following 3½ years of research with team PROSECCO.
My software is published through Symbolic Software, focusing primarily on cryptography tools and security.
I host Cryptography FM, a podcast featuring news and interviews about the latest developments in theoretical and applied cryptography, from lattice-based cryptography to secure messaging protocols.