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).