Brussels / 1 & 2 February 2020


Nadim Kobeissi

Nadim Kobeissi is a researcher in applied cryptography and professor at New York University's Paris campus. His research work focuses on protocol analysis and formal verification. Nadim received his Ph.D. after doing research at the Institut National de Recherche en Informatique et Automatique (INRIA) in Paris and has published peer-reviewed research focusing on applied cryptography and automated protocol verification.



Title Day Room Track Start End
Cryptographic Protocol Analysis for Students and Engineers
Saturday H.2215 (Ferrer) Lightning Talks 16:00 16:15