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.
Aside from research and software authoring, I also am passionate about photography and music, especially electronic and progressive/art rock. I also appreciate travel and technology. Finally, I've been trying for a while to find time to develop a skill in fiction writing, but this hasn't happened yet.
I am originally from Beirut, Lebanon. I've lived in Montreal, Canada for some years, before apparently settling here in Paris, France.
Interacting with me is a question of compromise: eccentric but friendly offline, or coherent but combative online!

Software

Cryptocat, miniLock, Bluenote

Teaching Material

Cours de Cryptographie

Papers

Photography and Art

Music Links