Verifpal Cryptographic Protocol Analysis for Students and Engineers
▶Verifpal Cryptographic Protocol Analysis for Students and Engineers — a 2020 FOSDEM 2020 security conference talk on network (15:51 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube