Verifpal: Simplify Cryptographic Protocol Analysis for Students & Engineers 🔐 (FOSDEM 2020)
Discover how Verifpal streamlines cryptographic protocol verification. Perfect for students and engineers—learn more at https://verifpal.com.
Symbolic Software
507 views • Feb 7, 2020
About this video
Learn more about Verifpal: https://verifpal.com
Video Information
Views
507
Likes
11
Duration
15:51
Published
Feb 7, 2020