WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
Presenters detail vulnerability discovery and exploitation in WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
Black Hat·44 min
Presenters detail vulnerability discovery and exploitation in Cutting Edge: Microsoft Browser Security - From People Who Owned It.
browser-securitycuttingedge+3
Black Hat·27 min
Analysts investigate attack surfaces and defenses concerning Bypassing Browser Security Policies for Fun and Profit.
browser-securitybypassingbrowser+3
IEEE Symposium on Security and Privacy·12 min
Presenters detail vulnerability discovery and exploitation in Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts.
smart-contractsclockworkfinance+2