I am a Ph.D. student at INRIA's PROSECCO lab, where I focus on applied cryptography and formal verification. I also operate Symbolic Software, a small software and applied cryptography consulting company.

Software

Noise Explorer, Cryptocat

Teaching Material

Cours de Cryptographie

Papers

Photography and Art

Music Links