Typing High-Speed Cryptography against Spectre v1
Offered By: IEEE via YouTube
Course Description
Overview
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.
Syllabus
Typing High-Speed Cryptography against Spectre v1
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
Applied CryptographyUniversity of Virginia via Udacity Cryptography II
Stanford University via Coursera Coding the Matrix: Linear Algebra through Computer Science Applications
Brown University via Coursera Cryptography I
Stanford University via Coursera Unpredictable? Randomness, Chance and Free Will
National University of Singapore via Coursera