Welcome to my personal homepage.

I do research work in applied cryptography more specifically and in computer security more generally. I defended my Ph.D. thesis, Formal Verification for Real-World Cryptographic Protocols and Implementations, on December 10th, 2018 at INRIA Paris, after 3½ years of research with team PROSECCO. My scientific publication record is available on Google Scholar and in my Curriculum Vitae.

My consulting office, Symbolic Software, specializes in offering modern insight into cryptographic systems. As its director, I manage a small team that offers security audits, cryptographic protocol design and formal verification services.

I work on a few software projects. Verifpal, an automated analysis engine and modeling language for cryptographic protocols targeted at students and engineers, is my main focus. I have also worked on Noise Explorer, an engine for designing, reasoning about, formally verifying and automatically implementing secure channel protocols designed within the Noise Protocol Framework. I also have written DiskGem, a secure file transfer client, and Resilience, an ad blocker.

Aside from the above, I sometimes write articles on issues relating to security and privacy. I designed and taught the computer security course at NYU Paris in 2018 and 2019. I also enjoy photography, art, and prog rock.