Speaker

Nadim Kobeissi is the founder of the Paris-based Symbolic Software, an independent applied cryptography lab with 300+ engagements for clients including Coinbase, Mozilla, and the Ethereum Foundation. He created the protocol modeling and verification engine Verifpal, teaches an Applied Cryptography course first offered at the American University of Beirut, and chairs Cedarcrypt, the Levant’s applied cryptography summer school and conference.

Nadim earned his Ph.D. at Inria Paris on formal verification of real-world cryptographic protocols, where he worked on some of the first formal verification efforts for smart contracts, Signal, TLS, and the Noise Protocol Framework. He is also an active advocate for digital privacy rights and is recognized as a leading expert on end-to-end encrypted secure messaging.