Nadim Kobeissi

GitHub Twitter Instagram Contact

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.

Projects

» Software » Utilities » Teaching Material

Papers

Music

I am passionate about music. Some examples I like to share: