I do research in applied cryptography more specifically and computer security more generally. I am an adjunct professor at NYU Paris and direct Symbolic Software, an applied cryptography consulting and software firm. I completed my Ph.D. thesis at INRIA's PROSECCO lab (accredited by ENS Paris) in Fall 2018.

Company

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. We recently released Noise Explorer, an online engine for reasoning about and formally verifying Noise-based cryptographic protocols.

Teaching

Software

  • DiskGem, a command-line secure file transfer (SFTP) client written in Go.
  • Cryptocat, the first web-based secure messenger with end-to-end encryption. Infamous for security bugs during its early days, it eventually became the first secure messenger implementing a formally verified protocol (see EuroS&P 2017 paper below.)

Posts

Selected Publications

Invited Talks

Photography and Art

Music Links