Verifpal: Cryptographic Protocol Analysis for Students and Engineers

Berlin Crypto

The Berlin Crypto community meets in the Mozilla community space again. This time we have a talk on verifpal, an easy to use tool to perform analysis of cryptographic protocols.
Come and join our community of Berliners interested in cryptography and everything around it.
Verifpal (Nadim Kobeissi)
Contemporary research in symbolic formal verification has led to confirming security guarantees (as well as finding attacks) in secure channel protocols such as TLS and Signal. However, formal verification in general has not managed to significantly exit the academic bubble. Verifpal is new software for verifying the security of cryptographic protocols that aims is to work better for real-world practitioners, students and engineers without sacrificing comprehensive formal verification features.
In order to achieve this, Verifpal introduces a new, intuitive language for modeling protocols that is easier to write and understand than the languages employed by existing tools. Its formal verification paradigm is also designed explicitly to provide protocol modeling that avoids user error. By modeling principals explicitly and with discrete states, Verifpal models are able to be written in a way that reflects how protocols are described in the real world. At the same time, Verifpal is able to model protocols under an active attacker with unbounded sessions and fresh values, and supports queries for advanced security properties such as forward secrecy or key compromise impersonation.
Verifpal has already been used to verify security properties for Signal, Scuttlebutt, TLS 1.3 and other protocols. It is a community-focused project, and available under a GPLv3 license.
Website: <A HREF="https://verifpal.com" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">verifpal.com</A>

Mozilla

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

Verifpal: Cryptographic Protocol Analysis for Students and Engineers

Still looking for the right event?

Explore all events in Berlin and filter by date, category, and more to find the perfect fit.

Verifpal: Cryptographic Protocol Analysis for Students and Engineers

More Science & Tech events

Browse more Science & Tech events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all events in Berlin and filter by date, category, and more to find the perfect fit.