Paolo Modesti, Rémi Garcia 0003. Formal Modeling and Security Analysis of Security Protocols. In Sedat Akleylek, Besik Dundua, editors, Handbook of Formal Analysis and Verification in Cryptography. pages 213-274, CRC Press, 2023. [doi]
Abstract is missing.