Michele Bugliesi, Stefano Calzavara, Alvise Rabitti. Cryptographic Web Applications: from Security Engineering to Formal Analysis. In Sedat Akleylek, Besik Dundua, editors, Handbook of Formal Analysis and Verification in Cryptography. pages 275-318, CRC Press, 2023. [doi]
Abstract is missing.