Nadim Kobeissi

Hi! I'm Nadim Kobeissi. I work on a large amount of things and it's really difficult for me to explain who I am or what I work on. This is a best-effort attempt.

I've recently founded Capsule Social, a startup that's building a decentralized discourse platform that's resilient to anti-intellectual, mob-motivated censorship and takedowns by private corporations. See also TechCrunch coverage.

I am also currently designing my first video game, Dr. Kobushi's Labyrinthine Laboratory. It's the coolest thing I'm working on right now, and everything else here is not as interesting.

Since 2018, I've run Symbolic Software, a Paris-based software published and applied cryptography consulting office. As its director, I manage a small team that offers security audits, cryptographic protocol design and formal verification services. Since its founding in 2017, Symbolic Software has completed and delivered over 300 software and cryptographic audits for clients all around the world. Symbolic Software also publishes well-known research software for applied cryptographers.

All of my worthwhile software projects are published by Symbolic Software and can be viewed over on its website.

In 2018, I 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.

In 2018 and 2019, I also designed and taught the computer security course at New York University's Paris campus, where I served as an adjunct professor.

I have been an outspoken advocate for Internet privacy, Internet freedom, security and privacy issues since 2009. You may also know me for my constant-foot-in-mouth Twitter presence.


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.