A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. - Quoc Huy Do 001; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Nils Wenzler; Tim Würtele (IACR Cryptol. ePrint Arch., 2021)