Quoc Huy Do 0001, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele. A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. In 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022. pages 215-234, IEEE, 2022. [doi]
Abstract is missing.