Typing High-Speed Cryptography against Spectre v1

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.