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 proceeding › Conference contribution

Original language	English
Title of host publication	43rd IEEE Symposium on Security and Privacy (S&P 2022)
Publisher	Institute of Electrical Engineers
Publication status	Accepted/In press - 3 Jul 2021

Cite this

@inproceedings{c2d6a473984e4f8a8e1782d7d7b31a69,

title = "A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification",

author = "Do, {Quoc Huy} and Pedram Hosseyni and Ralf K{\"u}sters and Guido Schmitz and Nils Wenzler and Tim W{\"u}rtele",

year = "2021",

month = jul,

day = "3",

language = "English",

booktitle = "43rd IEEE Symposium on Security and Privacy (S&P 2022)",

publisher = "Institute of Electrical Engineers",

address = "United Kingdom",

}

TY - GEN

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

AU - Do, Quoc Huy

AU - Hosseyni, Pedram

AU - Küsters, Ralf

AU - Schmitz, Guido

AU - Wenzler, Nils

AU - Würtele, Tim

PY - 2021/7/3

Y1 - 2021/7/3

M3 - Conference contribution

BT - 43rd IEEE Symposium on Security and Privacy (S&P 2022)

PB - Institute of Electrical Engineers

ER -