I am a PhD student at INRIA's PROSECCO lab, where I focus on applied cryptography. I also ride a blue Vespa. Before deciding that I'd like to have an academic career, I was focused on open source software development. Before that, I was a reckless young activist. I have lived in Beirut for eighteen years, in Montréal for five and currently reside in Paris.
FLEXTLS: A Tool for Testing TLS Implementations (with B. Beurdouche, A. Delignat-Lavaud, A. Pironti, K. Bhargavan), USENIX WOOT, 2015.
Gallery of favourite paintings
Daniel Lopatin — Mutant Standard
Ibrahim Maalouf — True Sorry
Ibrahim Maalouf — Beirut
Terry Riley — Desert of Ice
Rachmaninoff — Pianoconcerto no.2 op.18
Daniel Lopatin — Format & Journey North