Verifpal: Simplified Cryptographic Protocol Analysis for Real-World Security 🔐
Discover how Verifpal, introduced at Indocrypt 2020 by Kobeissi, Nicolas, and Tiwari, streamlines the verification of cryptographic protocols to enhance real-world security. Learn about its features and practical applications.
CRSInd
438 views • Dec 7, 2020
About this video
Paper by Nadim Kobeissi, Georgio Nicolas, and Mukesh Tiwari presented at Indocrypt 2020.
The conference program is at - https://indocrypt2020.iiitb.ac.in/programme_schedule/
The conference program is at - https://indocrypt2020.iiitb.ac.in/programme_schedule/
Video Information
Views
438
Likes
7
Duration
22:15
Published
Dec 7, 2020
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now