Explore a conference talk that delves into the innovative approach of typing high-speed cryptography to defend against Spectre v1 attacks. Learn from a team of experts from various institutions as they present their research on developing a type system and verification tool to ensure constant-time security in the presence of speculative execution. Gain insights into the challenges of implementing cryptographic algorithms securely in modern processors and discover how this novel typing method can help mitigate vulnerabilities associated with Spectre v1.
Overview
Syllabus
Typing High-Speed Cryptography against Spectre v1
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
-
High-Assurance Cryptography in the Spectre Era
-
Cats vs. Spectre - An Axiomatic Approach to Modeling Speculative Execution Attacks
-
SoK - Practical Foundations for Software Spectre Defenses
-
RIDL - Rogue In-Flight Data Load
-
Hide and Seek with Spectres - Efficient Discovery of Speculative Vulnerabilities with Random Testing
-
The Code That Never Ran - Modeling Attacks on Speculative Evaluation
