Applied cryptographer based in Paris. I audit cryptographic systems at Cure53 and run Symbolic Software, a boutique cryptography consultancy. I recently taught Applied Cryptography at the American University of Beirut, which required me to design a novel, highly ambitious and comprehensive curriculum from scratch, producing what I think is among the best introductory applied cryptography course curriculums and materials for an undergraduate university setting.
As a Senior Applied Cryptography Auditor at Cure53, I have audited over 250 cryptographic systems, including end-to-end encrypted messaging applications, authentication protocols, key management systems, and cryptographic libraries.
I also run Symbolic Software, a boutique applied cryptography consultancy based in Paris.
seeking to return to teaching and research in 2026
I am actively seeking to return to academic research. While I have no interest in revisiting formal methods or the high assurance cryptography community, I am drawn to research directions that leverage my extensive auditing experience: analyzing real-world cryptographic deployments and their failure modes, post-quantum migration strategies for deployed protocols, high-performance cryptographic implementations, and the design of protocols that employ cryptographic primitives in novel ways.
My recent experience teaching Applied Cryptography at the American University of Beirut was deeply fulfilling. I designed a comprehensive curriculum from scratch that I believe represents one of the most rigorous introductory applied cryptography courses available at the undergraduate level. The experience reinforced my conviction that teaching is where I can make my most meaningful contributions. Understanding the cultural context and being able to integrate materials effectively for students navigating difficult circumstances gave the work a sense of purpose that I am eager to continue building upon.
I earned my Ph.D. at Inria Paris with the thesis Formal Verification for Real-World Cryptographic Protocols and Implementations.
A list of academic publications is available at Google Scholar.
I also once created an indie puzzle adventure game, Dr. Kobushi's Labyrinthine Laboratory.
I am President and Editor in Chief of the Galactic Association for Cryptologic Research (GACR), a non-profit scientific organization for cryptology research that maintains the GACR ePrint Archive.
I host Cryptography FM, a podcast featuring conversations with researchers and practitioners about developments in cryptography, from theoretical advances to practical deployment challenges.