Do, Q. H., Hosseyni, P. ., Küsters, R. ., Schmitz, G. ., Wenzler, N. ., & Würtele, T. . (2022). A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. In 2022 IEEE Symposium on Security and Privacy (SP) (pp. 215–234).