Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Cats vs. Spectre - An Axiomatic Approach to Modeling Speculative Execution Attacks

IEEE via YouTube

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

Reviews

Start your review of Cats vs. Spectre - An Axiomatic Approach to Modeling Speculative Execution Attacks

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.