Nadim Kobeissi

Nadim Kobeissi is a Researcher in Applied Cryptography, with peer-reviewed publications in formal verification of cryptographic protocols. He has a decade of experience in designing and implementing secure systems across various use case scenarios in the private and public sectors. Nadim Kobeissi holds a Ph.D in Computer Science, obtained after three years of research work at the Institut National de Recherche en Informatique et Automatique, which was accredited by the École Normale Supérieure of Paris. He currently teaches computer security at NYU Paris and manages Symbolic Software, an applied cryptography consultancy and software company.