research
∙
08/02/2022
A Turning Point for Verified Spectre Sandboxing
Spectre attacks enable an attacker to access restricted data in an appli...
share
research
∙
05/12/2021
SoK: Practical Foundations for Spectre Defenses
Spectre vulnerabilities violate our fundamental assumptions about archit...
research
∙
02/25/2021
Swivel: Hardening WebAssembly against Spectre
We describe Swivel, a new compiler framework for hardening WebAssembly (...
research
∙
10/03/2019
Towards Constant-Time Foundations for the New Spectre Era
The constant-time discipline is a software-based countermeasure used for...
research
∙
08/03/2018