Verifpal: Cryptographic Protocol Analysis for the Real World.

Nadim Kobeissi Georgio Nicolas Mukesh Tiwari

Published in: INDOCRYPT (2020)

Keyphrases

real world
data analysis
case study
data sets