Verifpal: Cryptographic Protocol Analysis for the Real World.

Nadim Kobeissi Georgio Nicolas Mukesh Tiwari

Published in: CCSW@CCS (2020)

Keyphrases

real world
data sets
data analysis
real time
case study
wide range
statistical analysis
smart card
cryptographic protocols