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
Sensor SecurityIEEE via YouTube Tracking Ransomware End-to-end
IEEE via YouTube Cinderella - Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
IEEE via YouTube Algorithmic Transparency via Quantitative Input Influence - Theory and Experiments with Learning Systems
IEEE via YouTube Bitcoin Over Tor Isn't a Good Idea
IEEE via YouTube