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

Explore a comprehensive security analysis of the W3C Web Payment APIs in this 18-minute IEEE conference talk. Delve into potential attacks and verification methods as presented by researchers from the University of Stuttgart and Royal Holloway, University of London. Learn about the functionality of Web Payment APIs, the team's analytical approach, browser modeling, and key findings. Gain valuable insights into the security landscape of modern web payment systems and participate in a Q&A session to further understand the implications of this research.

Introduction
Web Payment APIs
How does it work
Our approach
How it works
Browser model
Analysis
Questions