IEEE Symposium on Security and Privacy·14 min
Presenters detail vulnerability discovery and exploitation in WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.
browser-securitywebspecmachine-checked+2
1 talk tagged with this topic.
Loading filters…
1–1 of 1 talk · loading…
IEEE Symposium on Security and Privacy·14 min
Presenters detail vulnerability discovery and exploitation in WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.