Nadim Kobeissi

I'm a computer scientist and software developer with a focus on applied cryptography and software security, based in Paris, France. I'm also a hobbyist puzzle game developer and runner.

I currently serve as a Senior Applied Cryptography Auditor at Cure53, where I've worked on auditing over 250 real-world cryptographic systems, and at Symbolic Software, a boutique applied cryptography consultancy and software publisher in Paris.

Academic

Publications

A list of academic publications is available at Google Scholar. There's also my academic CV.

Teaching

I have a strong passion for teaching and pedagogy, and I try to engage in it as much as I can.

Thesis

I earned my Ph.D. with the thesis Formal Verification for Real-World Cryptographic Protocols and Implementations at Inria Paris, following 3½ years of research with team PROSECCO.

Software

My software is published through Symbolic Software, focusing primarily on cryptography tools and security.

Cryptography

Puzzle Games

Projects

Cryptography FM

I host Cryptography FM, a podcast featuring news and interviews about the latest developments in theoretical and applied cryptography, from lattice-based cryptography to secure messaging protocols.

Events & Advocacy

Other Links