A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification
▶A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification — a 2022 IEEE S&P 2022 Sessions security conference talk on web-appsec (18:29 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube