SPECTECTOR - Principled Detection of Speculative Information Flows
Offered By: IEEE via YouTube
Course Description
Overview
Explore a principled approach to detecting speculative information flows in this IEEE conference talk. Dive into the concept of speculative non-interference, the first semantic notion of security against speculative execution attacks. Learn about SPECTECTOR, an algorithm based on symbolic execution that automatically proves speculative non-interference or detects violations. Discover how this tool has been used to identify subtle leaks and optimization opportunities in major compilers' SPECTRE countermeasures. Gain insights into speculative execution, branch prediction, Spectre V1, and methods for capturing leakage. Examine the scalability of checking speculative non-interference and its relationship to symbolic execution. Cover topics including memory leaks, the implementation of Spectector, and the results of its application.
Syllabus
Intro
Speculative execution + branch prediction
Spectre V1
How to capture leakage?
Speculative non-interference
Detecting speculative leaks
Symbolic execution
Memory leaks
Spectector
Results
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
Computer ArchitecturePrinceton University via Coursera High Performance Computer Architecture
Georgia Institute of Technology via Udacity Computer System Design: Advanced Concepts of Modern Microprocessors
Chalmers University of Technology via edX Advanced Computer Architecture
Indian Institute of Technology Guwahati via Swayam Physical and Advanced Side-Channel Attacks
Graz University of Technology via edX