One Year of Verifpal: Understanding Verifpal’s Relationship With Cryptographic Protocol Security

Last week, Verifpal, our cryptographic protocol modeling and analysis framework, celebrated its one-year anniversary. In its first year, Verifpal has made some significant achievements. Improvements to Usability, Features, and Reliability First, Verifpal has improved its relationship with users. Verifpal was part of Zoom’s effort to modernize its cryptography. Verifpal for Visual Studio Code and VerifHub