I do research in applied cryptography more specifically and computer security more generally. I am a professor at NYU Paris and direct Symbolic Software.

Ph.D. Thesis

Formal Verification for Real-World Cryptographic Protocols and Implementations — defended December 10, 2018 at INRIA Paris after 3½ years of research with Team PROSECCO.


Symbolic Software is a company focused on modern insight into cryptographic systems. As its director, I manage a small team that offers security audits, cryptographic protocol design and formal verification services.



  • Noise Explorer: online engine for reasoning about, formally verifying and generating implementations for arbitrary Noise-based cryptographic protocols.
  • Resilience: ad blocker without compromises.
  • DiskGem: command-line secure file transfer (SFTP) client written in Go.
  • Maze Café, Nadimtris, CNNCTFR: fun toys.


Selected Publications

Invited Talks

Photography and Art

Music Links