Cats vs. Spectre - An Axiomatic Approach to Modeling Speculative Execution Attacks
Offered By: IEEE via YouTube
Course Description
Overview
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.
Syllabus
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
Sensor SecurityIEEE via YouTube Tracking Ransomware End-to-end
IEEE via YouTube Cinderella - Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
IEEE via YouTube Algorithmic Transparency via Quantitative Input Influence - Theory and Experiments with Learning Systems
IEEE via YouTube Bitcoin Over Tor Isn't a Good Idea
IEEE via YouTube