SoK: Practical Foundations for Software Spectre Defenses

SoK: Practical Foundations for Software Spectre Defenses

12 May 2021

Craig Disselkoen

Gilles Barthe

Papers citing "SoK: Practical Foundations for Software Spectre Defenses"

7 / 7 papers shown

Title
Detecting speculative data flow vulnerabilities using weakest precondition reasoning Graeme Smith 19 0 0 27 Apr 2025
SafeBPF: Hardware-assisted Defense-in-depth for eBPF Kernel Extensions S. Lim Tanya Prasad Xueyuan Han Thomas Pasquier 26 4 0 11 Sep 2024
SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations Sören van der Wall Roland Meyer 24 3 0 21 Jul 2024
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time Nicholas Mosier Hamed Nemati John C. Mitchell Caroline Trippel 19 9 0 11 Sep 2023
This is How You Lose the Transient Execution War Allison Randal 23 4 0 06 Sep 2023
MOAT: Towards Safe BPF Kernel Extension Hongyi Lu Shuai Wang Yechang Wu Wanning He Fengwei Zhang 14 10 0 31 Jan 2023
SafeSpec: Banishing the Spectre of a Meltdown with Leakage-Free Speculation Khaled N. Khasawneh Esmaeil Mohammadian Koruyeh Chengyu Song Dmitry Evtyushkin D. Ponomarev Nael B. Abu-Ghazaleh 31 183 0 13 Jun 2018