Events & Talks
Upcoming Events
-
No upcoming events at this time.
Previous Events
-
May 29th, 2022: Modeling and Analyzing Cryptographic Protocols with Verifpal, affiliated event of Eurocrypt 2022.
→ More Information
→ Download Slides -
January 13, 2021: Verifpal: Cryptographic Protocol Analysis for the Real World, presented at the 9th IACR Real World Cryptography Symposium (IACR RWC 2021).
→ Pre-Recorded Presentation
→ Download Slides -
December 13, 2020: Verifpal: Cryptographic Protocol Analysis for the Real World, presented at the 21st International Conference on Cryptology in India (INDOCRYPT 2020).
→ Pre-Recorded Presentation -
November 9, 2020: Verifpal: Cryptographic Protocol Analysis for the Real World, presented at the 2020 ACM Cloud Computing Security Workshop (ACM CCSW 2020).
→ Pre-Recorded Presentation -
June 19, 2020: Verifpal Talk at Quarkslab Paris, organized by Quarkslab.
→ Download Slides -
February 2, 2020: Verifpal Lightning Talk, presented at FOSDEM2020 Go Devroom in Brussels.
→ Download Slides -
February 1, 2020: Verifpal Talk, presented at FOSDEM2020 in Brussels.
→ View Video on YouTube
→ View Event Page -
December 30, 2019: Verifpal Lightning Talk, presented at the 36th Chaos Communication Congress in Leipzig.
→ View Video on YouTube -
November 30, 2019: Security Verification for Cryptographic Protocols Workshop, organized at the American University of Beirut.
→ View Event Page -
November 5, 2019: Verifpal Talk at Mozilla Berlin, organized by Berlin Crypto.
→ Download Slides -
September 25, 2019: Verifpal Talk at NGI0 Helsinki, organized by NGI.
→ Read Article
