Verifpal

Verifpal makes it easy to get started with modeling and analyzing cryptographic protocols! Download your copy today:

[Verifpal @verifpal]

This account is no longer updated, but Verifpal is still very much under development! Check @symbolicsoft for updates.

[Nadim Kobeissi @kaepora]

Verifpal 1.2.2 adds an exciting new output format: HTML reports!

Verifpal can now output highly informative, self-contained HTML reports that contain diagrams and other explanations of your analysis' results.

Try it using: verifpal verify --format html your-model.vp.

[Verifpal @verifpal]

RT @kaepora: After seven years in Go, Verifpal has been completely rewritten in Rust, gaining a new analysis engine, massive perfomrnace im…

[Verifpal @verifpal]

Verifpal 0.31.2 is out!

For the first time, Verifpal can fully verify a model of Signal’s X3DH key agreement and Double Ratchet protocol across three messages, making it competitive with the state of the art for protocol verification... from 2016. https://t.co/EKQixCO95z

[Verifpal @verifpal]

Verifpal (yes, Verifpal) 0.28.0 is now available, bringing correctness fixes, race condition fixes, side effect fixes, nil pointer fixes, performance improvements and quality of life improvements.

[Cosic.be @CosicBe]

Consider attending the Verifpal Tutorial, held in conjunction with Eurocrypt 2022 on May 29th at the main Eurocrypt 2022 venue. https://t.co/7KB8e1u7rE

[Verifpal @verifpal]

The Verifpal Tutorial at @IACReurocrypt is meant to be a comprehensive introduction to the world of formal protocol modeling, that manages to be inclusive and accessible even if you're a student just starting out with little background in formal methods! Sign up today!

[Verifpal @verifpal]

The Verifpal Tutorial is finally happening this year at @IACReurocrypt 2022, after being delayed in 2020 (due to COVID) and again in 2021 (due to a delayed passport issuance)!

Interested in learning cryptographic protocol modeling and analysis? Read on 🧵
https://t.co/BHoLAWIzSC

[Verifpal @verifpal]

We then move onto the second part, in which we use what we've learned through Verifpal to introduce Tamarin, ProVerif, CryptoVerif, and F*, explaining how they all work, their differences and relative strengths.

[@[email protected] @pfasante]

@kaepora @verifpal That being said, I'd like to stress again, how enjoyable working with @verifpal was! This paper is basically my first interaction with formal verification tools and verifpal made it exceptional easy to get started. Was really fun - would love to have more time for such projects!

[@[email protected] @pfasante]

My first Bosch-affiliated paper was published https://t.co/Gr1uGfFE8O 🎉 - see https://t.co/LNJDzFNA3T for the non pay-walled version.
Am a bit sad, that my @verifpal code didn't made it into the main body of the paper thou 😢 #reviewer2 demanded to remove it..

[Verifpal @verifpal]

The first Verifpal workshop will be held as an affiliated event for @IACReurocrypt 2021!

Come benefit from a friendly introduction to protocol modeling and verification, covering not just Verifpal, but also ProVerif and Tamarin.

Info and registration: https://t.co/YuoJwOnWQ5

[Verifpal @verifpal]

😊

[Verifpal @verifpal]

Note: the Snapcraft package manager is no longer supported by Verifpal.

More details here: https://t.co/RpRjHUxkPT

[Verifpal @verifpal]

@pfasante @BoschGlobal

[Verifpal @verifpal]

Check out how @BoschGlobal Research is using Verifpal in order to model and verify properties in Bosch projects: https://t.co/XzuI54j5OC