Events & Talks
May 9, 2020: Verifpal Tutorial at
Eurocrypt2020 in Zagreb, organized by
Association for Cryptologic Research.
→ Register Today!
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
→ Download Slides
September 25, 2019: Verifpal Talk
at NGI0 Helsinki, organized by NGI.
→ Read Article