Nadim Kobeissi

Blog Code Twitter Instagram

Welcome!

I am a PhD student studying applied cryptography at INRIA's PROSECCO lab. I am interested in provable security, usable encryption, formal logic, JavaScript and the web. I also ride a blue Vespa and am a good person.

Projects