A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification - Research Portal | Lancaster University

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

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

Publication date	2021
<mark>Original language</mark>	English
Externally published	Yes