This Systematization of Knowledge paper brings order to a range of software analysis tools, programming models, etc. for defending against Spectre-like attacks by examining those approaches through the lens of guarnieri:sandp:2020’s contracts.
Notes related to SoK: Practical foundations for software Spectre defenses
Language based security, Systematization of Knowledge (SoK)
Papers related to SoK: Practical foundations for software Spectre defenses
- Spectector: Principled detection of speculative information flows [guarnieri:sandp:2020]