Explore an innovative approach to discovering speculative vulnerabilities through random testing in this 17-minute IEEE conference talk. Learn about the efficient methods developed by researchers from Microsoft Research, IMDEA Software Institute, and Technion for identifying and addressing potential security risks associated with speculative execution. Gain insights into the challenges of detecting Spectre-like vulnerabilities and understand how this novel technique can enhance cybersecurity measures in modern computing systems.
Hide and Seek with Spectres - Efficient Discovery of Speculative Vulnerabilities with Random Testing
Overview
Syllabus
Hide and Seek with Spectres: Efficient discovery of speculative vulnerabilities with random testing
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
-
Cats vs. Spectre - An Axiomatic Approach to Modeling Speculative Execution Attacks
-
The Code That Never Ran - Modeling Attacks on Speculative Evaluation
-
Spook.js - Attacking Chrome Strict Site Isolation via Speculative Execution
-
Typing High-Speed Cryptography against Spectre v1
-
Scaling JavaScript Abstract Interpretation to Detect and Exploit Node.js Taint-style Vulnerability
-
SelectFuzz - Efficient Directed Fuzzing with Selective Path Exploration
