Nadim Kobeissi

Nadim Kobeissi is the Founder and CEO of Capsule, Director at Symbolic Software, Author of Verifpal, and Host of Cryptography FM. As Director of Symbolic Software, a Paris-based applied cryptography consulting office, I manage a small team that offers security audits, cryptographic protocol design, and formal verification services. My main focus is auditing cryptography and developing Verifpal, an automated cryptographic protocol modeling, analysis, and verification framework. Since its founding in 2018, Symbolic Software has completed and delivered over 200 software and cryptographic audits for clients worldwide. In 2018, I defended my Ph.D. thesis, Formal Verification for Real-World Cryptographic Protocols and Implementations, at Inria Paris. Additionally, I designed and taught the computer security course at New York University's Paris campus, where I served as an adjunct professor in 2018 and 2019.