%0 Conference Paper %1 do2022formal %A Do, Quoc Huy %A Hosseyni Damabi, Seyed Pedram %A Küsters, Ralf %A Schmitz, Guido %A Wenzler, Nils %A Würtele, Tim %B 43rd IEEE Symposium on Security and Privacy %C Piscataway, NJ %D 2022 %I IEEE %K %P 2430-2449 %R 10.1109/SP46214.2022.9833681 %T A Formal Security Analysis of the W3C Web Payment APIs : Attacks and Verification %@ 978-1-6654-1316-9 and 978-1-6654-1317-6

@inproceedings{do2022formal, added-at = {2023-06-22T14:08:40.000+0200}, address = {Piscataway, NJ}, affiliation = {Do, QH (Corresponding Author), Univ Stuttgart, Stuttgart, Germany. Quoc Huy Do; Hosseyni, Pedram; Kuesters, Ralf; Schmitz, Guido; Wenzler, Nils; Wuertele, Tim, Univ Stuttgart, Stuttgart, Germany. Schmitz, Guido, Royal Holloway Univ London, Egham, Surrey, England.}, author = {Do, Quoc Huy and Hosseyni Damabi, Seyed Pedram and Küsters, Ralf and Schmitz, Guido and Wenzler, Nils and Würtele, Tim}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d386ac7573526779b7ca994e896f1144/unibiblio}, booktitle = {43rd IEEE Symposium on Security and Privacy}, doi = {10.1109/SP46214.2022.9833681}, eventdate = {2022-05-23/2022-05-26}, eventtitle = {43rd IEEE Symposium on Security and Privacy (SP)}, interhash = {68fbc82b22df3a0e992a182ae6a41b19}, intrahash = {d386ac7573526779b7ca994e896f1144}, isbn = {{978-1-6654-1316-9} and {978-1-6654-1317-6}}, keywords = {}, language = {eng}, pages = {2430-2449}, publisher = {IEEE}, research-areas = {Computer Science}, timestamp = {2023-06-22T14:09:20.000+0200}, title = {A Formal Security Analysis of the W3C Web Payment APIs : Attacks and Verification}, unique-id = {WOS:000852887300013}, venue = {{San Francisco, CA} and {Online}}, year = 2022 }