Nadim Kobeissi

Welcome to my personal homepage. This small website includes a summary of my current projects, what I've worked in in previous years, as well as my scientific research publications, blog posts and some other links. It is always kept up to date. I reside in Paris, France.

Current status: 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 video game for Windows, Mac, Linux and Nintendo Switch.

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 ran 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, to help publish my upcoming game, Dr. Kobushi's Labyrinthine Laboratory (see above).

2018—2019: 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. I also designed and taught the computer security course at New York University's Paris campus, where I served as an adjunct professor.

2015—2018: I moved to Paris, France to begin my Ph.D. studies, see above. During this time I was mostly focusing on my studies.

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.