Symbolic Software / Cure53
Nadim Kobeissi
Applied Cryptographer & Security Auditor
Applied Cryptographer & Security Auditor
Nadim Kobeissi is an applied cryptographer based in Paris. He is a Senior Applied Cryptography Auditor at Cure53 and founder of Symbolic Software, a consultancy with 300+ engagements for clients including Coinbase, Mozilla, and the Ethereum Foundation. He created the protocol verification tools Verifpal and Noise Explorer, 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. He earned his Ph.D. at Inria Paris on formal verification of real-world cryptographic protocols.