A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification.

Quoc Huy Do, Pedram Hosseyni, Ralf Ksters, Guido Schmitz, Nils Wenzler, Tim Wrtele

Browse the full SP paper archive.