Nadim Kobeissi

2021—: I'm simultaneously working on two major projects: 1. Capsule Social, a startup that's building Blogchain, a decentralized discourse platform. 2. Dr. Kobushi's Labyrinthine Laboratory, an indie puzzle adventure game. I am also Cryptographer in Residence at Eden Block, where I contribute scientific oversight into venture capital investment in the blockchain/applied cryptography space.

2018—2021: I founded Symbolic Software, a Paris-based applied cryptography team that offered offers security audits, cryptographic protocol design and formal verification services. Symbolic Software has completed and delivered over 250 software and cryptographic audits for clients all around the world and also publishes well-known research software for applied cryptographers. In 2021, as I pivoted to focus on Capsule Social (see above), Symbolic Software became also a video game publisher.

2015—2019: Wrote and defended my Ph.D. thesis, Formal Verification for Real-World Cryptographic Protocols and Implementations, at Inria Paris, after 3½ years of research with team PROSECCO. I also designed and taught the computer security course at New York University's Paris campus, where I served as an adjunct professor.

My CV is also available as a PDF file.


Software

My software is published by my small Paris-based company, Symbolic Software. Over the years, I've worked on probably over a dozen projects; here are the ones that matter and that are actively maintained:

Applied Cryptography

Video Games


Selected Publications

Selected Presentations

Cryptography Podcast

I host Cryptography FM, a podcast with news and a featured interview covering the latest developments in theoretical and applied cryptography. Whether it's a new innovative paper on lattice-based cryptography or a novel attack on a secure messaging protocol, we'll get the people behind it on Cryptography FM to talk about it.


Blog Posts

RSS RSS feed

Other Interests

Check out this gallery of my favorite paintings. I'm also a hobbyist photographer.