Home > Research > Publications & Outputs > A Formal Security Analysis of the W3C Web Payme...
View graph of relations

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

Research output: Other contribution

Published

Standard

A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. / Do, Quoc Huy; Hosseyni, Pedram; Küsters, Ralf et al.
2021.

Research output: Other contribution

Harvard

Do, QH, Hosseyni, P, Küsters, R, Schmitz, G, Wenzler, N & Würtele, T 2021, A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification..

APA

Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., Wenzler, N., & Würtele, T. (2021). A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification.

Vancouver

Do QH, Hosseyni P, Küsters R, Schmitz G, Wenzler N, Würtele T. A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. 2021.

Author

Do, Quoc Huy ; Hosseyni, Pedram ; Küsters, Ralf et al. / A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. 2021.

Bibtex

@misc{e1b6329f2bb94666b90a98875d036d34,
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",
language = "English",
type = "Other",

}

RIS

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

Y1 - 2021

UR - https://ia.cr/2021/1012

M3 - Other contribution

ER -