[Verifpal] Verifpal Tutorial at Eurocrypt 2020

[Nadim Kobeissi]

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:
https://verifpal.com/eurocrypt2020

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:
https://verifpal.com/eurocrypt2020

Verifpal is still in development stages! If you’re interested in participating in Verifpal development or discussion, check out the Verifpal Mailing List:
https://verifpal.com/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:
https://verifpal.com/res/pdf/manual.pdf

See you in Zagreb!

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