Explore an innovative approach to modeling speculative execution attacks in this 20-minute IEEE conference talk. Delve into the research presented by Hernán Ponce de León and Johannes Kinder from Bundeswehr University Munich as they introduce an axiomatic framework for analyzing vulnerabilities like Spectre. Learn how this novel methodology compares to traditional techniques and gain insights into potential applications for improving cybersecurity measures against hardware-based attacks.
Cats vs. Spectre - An Axiomatic Approach to Modeling Speculative Execution Attacks
Overview
Syllabus
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
-
The Code That Never Ran - Modeling Attacks on Speculative Evaluation
-
Spectre Attacks Exploiting Speculative Execution
-
Practical Ghostbusting - Meltdown, Spectre and You
-
Spook.js - Attacking Chrome Strict Site Isolation via Speculative Execution
-
Hide and Seek with Spectres - Efficient Discovery of Speculative Vulnerabilities with Random Testing
-
Speculative Execution Vulnerabilities: From Spectre to Control Flow Hijack
