Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari. Verifpal: Cryptographic Protocol Analysis for the Real World. In Yinqian Zhang, Radu Sion, editors, CCSW'20, Proceedings of the 2020 ACM SIGSAC Conference on Cloud Computing Security Workshop, Virtual Event, USA, November 9, 2020. pages 159, ACM, 2020. [doi]
Abstract is missing.