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

Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication43rd IEEE Symposium on Security and Privacy (S&P 2022)
PublisherInstitute of Electrical Engineers
Publication statusAccepted/In press - 3 Jul 2021

Cite this