Verifpal: Cryptographic Protocol Analysis for the Real World.

Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari

Browse the full INDOCRYPT paper archive.