[Verifpal] Verifpal Tutorial at Eurocrypt 2020

Nadim Kobeissi nadim at symbolic.software
Wed Sep 11 15:41:28 CEST 2019

Hello everyone,

Ever wanted to learn more about how to model and analyze sophisticated protocols, like TLS 1.3 and Signal, but didn’t have the time?
Register for the Verifpal Tutorial, an affiliated event to Eurocrypt 2020 in Zagreb, Croatia! Verifpal makes it easy for everyone to learn!

Learn more about the Verifpal Tutorial here:

Verifpal is a new, experimental cryptographic protocol analysis tool that's still under development and that does not yet have a completed proof of soundness on its results. But its simple language allows anyone to quickly model highly complex protocols, and can carry out powerful analysis and give results that are easy to read and understand.

So, if you're interested in learning more about how to model, analyze and reason about the sophisticated protocols that keep the Internet safe, using a simple and intuitive language, register for the Verifpal Tutorial! It'll be great!

Again, here’s that shiny link:

Verifpal is still in development stages! If you’re interested in participating in Verifpal development or discussion, check out the Verifpal Mailing List:

And, of course, if you’re interested in following the chronicles of Verifpal against the evil Mayor N.D. Middle, please peruse the Verifpal User Manual:

See you in Zagreb!

Nadim Kobeissi
Symbolic Software • https://symbolic.software

More information about the Verifpal mailing list