WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

Name: WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
Uploaded: 2023-01-01
Duration: 14 min 19 s
Description: WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms — a 2023 IEEE S&P 2023 Sessions security conference talk on web-appsec (14:19 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE S&P 2023 Sessions · 2023 · 14:19

▶

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms — a 2023 IEEE S&P 2023 Sessions security conference talk on web-appsec (14:19 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

web-appsec

← Back to the Breach Arc Archive