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.
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
Total views since publication
Likes
7
User likes and reactions
Duration
22:15
Video length
Published
Dec 7, 2020
Release date
Quality
hd
Video definition
About the Channel
Related Trending Topics
LIVE TRENDSThis video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!
THIS VIDEO IS TRENDING!
This video is currently trending in Thailand under the topic 'สภาพอากาศ'.
Share This Video
SOCIAL SHAREShare this video with your friends and followers across all major social platforms including X (Twitter), Facebook, Youtube, Pinterest, VKontakte, and Odnoklassniki. Help spread the word about great content!