A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. / Do, Quoc Huy; Hosseyni, Pedram; Küsters, Ralf; Schmitz, Guido; Wenzler, Nils; Würtele, Tim.

43rd IEEE Symposium on Security and Privacy (S&P 2022). Institute of Electrical Engineers, 2021.

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



  • Accepted Manuscript

    Accepted author manuscript, 615 KB, PDF document

  • Quoc Huy Do
  • Pedram Hosseyni
  • Ralf Küsters
  • Guido Schmitz
  • Nils Wenzler
  • Tim Würtele
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

ID: 44155317