YoVDO

SPECTECTOR - Principled Detection of Speculative Information Flows

Offered By: IEEE via YouTube

Tags

Cybersecurity Courses Branch Prediction Courses Memory Leaks Courses Symbolic Execution Courses

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 Architecture
Princeton 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