Verifpal: Cryptographic Protocol Analysis for the Real World
Paper by Nadim Kobeissi, Georgio Nicolas, and Mukesh Tiwari presented at Indocrypt 2020. The conference program is at - https://indocrypt2020.iiitb.ac.in/pro...
🔥 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 Malaysia under the topic 'real betis vs lyon'.
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/
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