Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do 0001, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele. An In-Depth Symbolic Security Analysis of the ACME Standard. IACR Cryptology ePrint Archive, 2021:1457, 2021. [doi]
Abstract is missing.