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.

Fall 2025: Applied Cryptography at the American University of Beirut.
2018-2019: Computer Security at New York University's Paris campus.

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

Verifpal: Software for verifying the security of cryptographic protocols, designed to appeal to practitioners, students and engineers without sacrificing comprehensive formal verification features.
Noise Explorer: Online engine for designing, reasoning about, formally verifying and implementing arbitrary Noise Handshake Patterns, generating models for automated verification and production-ready implementations in Go or Rust.

Puzzle Games

Dr. Kobushi's Labyrinthine Laboratory: Indie puzzle adventure game with over 100 levels, story, dialog, and innovative gameplay.
Runes of Ardun: Modern reimagining of Mini Shogi with a custom-built 2200 Elo rating AI written in Rust.
Piccolo: Othello: Othello software for macOS and iOS written in Rust and Swift.

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.