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.
Links
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Verifpal Cryptographic Protocol Analysis for Students and Engineers |
Saturday | H.2215 (Ferrer) | Lightning Talks | 16:00 | 16:15 |