Speculative execution

[Google Scholar] [Wikipedia]

Notes: microarchitecture
Papers:

Language based security, Parallelism

  • SoK: Practical foundations for software Spectre defenses [cauligi:sandp:2022]
  • InSpectre: Breaking and fixing microarchitectural vulnerabilities by formal analysis [guanciale:ccs:2020]
  • Spectector: Principled detection of speculative information flows [guarnieri:sandp:2020]
  • Spectre attacks: Exploiting speculative execution [kocher:arxiv:2018]
  • Spectre is here to stay: An analysis of side-channels and speculative execution [mcilroy:arxiv:2019]
  • Axiomatic hardware-software contracts for security [mosier:isca:2022]
  • Opening Pandora's box: A systematic study of new ways microarchitecture can leak private data [vicarte:isca:2021]