Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov. Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols. In Sedat Akleylek, Besik Dundua, editors, Handbook of Formal Analysis and Verification in Cryptography. pages 57-104, CRC Press, 2023. [doi]
Abstract is missing.