Spectre is here to stay: An analysis of side-channels and speculative execution

14 February 2019

Papers citing "Spectre is here to stay: An analysis of side-channels and speculative execution"

37 / 37 papers shown

Title
From Firewalls to Frontiers: AI Red-Teaming is a Domain-Specific Evolution of Cyber Red-Teaming Anusha Sinha Keltin Grimes James Lucassen Michael Feffer Nathan M. VanHoudnos Zhiwei Steven Wu Hoda Heidari AAML 128 1 0 14 Sep 2025
GATEBLEED: Exploiting On-Core Accelerator Power Gating for High Performance & Stealthy Attacks on AI Joshua Kalyanapu Farshad Dizani Darsh Asher Azam Ghanbari Rosario Cammarota Aydin Aysu Samira Mirbagher Ajorpaz 252 0 0 22 Jul 2025
Memory Under Siege: A Comprehensive Survey of Side-Channel Attacks on Memory MD Mahady Hassan Shanto Roy Reza Rahaeimehr 160 0 0 08 May 2025
ShadowBinding: Realizing Effective Microarchitectures for In-Core Secure Speculation Schemes Amund Bergland Kvalsvik Magnus Själander 113 0 0 09 Apr 2025
Interactive Speculative Planning: Enhance Agent Efficiency through Co-design of System and User Interface Qingfeng Lan Mengting Wan Shashank Vadrevu Ryan Nadel Yongfeng Zhang Chi Wang LLMAG 166 8 0 30 Sep 2024
VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions Luis Gerhorst Henriette Herzog Peter Wagemann Maximilian Ott Rüdiger Kapitza Timo Honig 217 2 0 30 Apr 2024
Testing side-channel security of cryptographic implementations against future microarchitectures Gilles Barthe Marcel Böhme Sunjay Cauligi C. Chuengsatiansup Daniel Genkin Marco Guarnieri David Mateos Romero Peter Schwabe David Wu Y. Yarom ELM 115 11 0 01 Feb 2024
DECLASSIFLOW: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures (Full Version)Conference on Computer and Communications Security (CCS), 2023 Rutvik Choudhary Alan Wang Zirui Neil Zhao Adam Morrison Christopher W. Fletcher 217 6 0 14 Dec 2023
Okapi: Efficiently Safeguarding Speculative Data Accesses in Sandboxed EnvironmentsACM Asia Conference on Computer and Communications Security (AsiaCCS), 2023 Philipp Schmitz Tobias Jauch Alex Wezel M. R. Fadiheh T. Tiemann Jonah Heller T. Eisenbarth D. Stoffel W. Kunz 210 1 0 13 Dec 2023
This is How You Lose the Transient Execution War Allison Randal 134 6 0 06 Sep 2023
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)USENIX Security Symposium (USENIX Security), 2023 Lesly-Ann Daniel Márton Bognár Job Noorman Sébastien Bardin Tamara Rezk Frank Piessens 267 13 0 23 Feb 2023
SoK: Analysis of Root Causes and Defense Strategies for Attacks on Microarchitectural OptimizationsEuropean Symposium on Security and Privacy (Euro S&P), 2022 N. Holtryd M. Manivannan P. Stenström AAML 159 2 0 20 Dec 2022
Hacky Racers: Exploiting Instruction-Level Parallelism to Generate Stealthy Fine-Grained TimersInternational Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2022 Haocheng Xiao S. Ainsworth SyDa 138 17 0 26 Nov 2022
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory SharingConference on Computer and Communications Security (CCS), 2022 Dayeol Lee Kevin Cheang Alexander Thomas Catherine Lu Pranav Gaddamadugu Anjo Vahldiek-Oberwagner Mona Vij Basel Alomair Sanjit A. Seshia Krste Asanović FedML 197 18 0 30 Sep 2022
Automatic Detection of Speculative Execution CombinationsConference on Computer and Communications Security (CCS), 2022 Xaver Fabian Marco Guarnieri Marco Patrignani LRM 144 28 0 02 Sep 2022
You Cannot Always Win the Race: Analyzing the LFENCE/JMP Mitigation for Branch Target Injection Alyssa Milburn Ke Sun Henrique Kawakami 184 14 0 08 Mar 2022
SOK: On the Analysis of Web Browser Security Jungwon Lim Yonghwi Jin Mansour Alharthi Xiaokuan Zhang Jinho Jung Rajat Gupta Kuilin Li Daehee Jang Taesoo Kim 187 7 0 31 Dec 2021
Relational Models of Microarchitectures for Formal Security Analyses Nicholas Mosier Hanna Lachnitt Hamed Nemati Caroline Trippel 167 1 0 20 Dec 2021
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks Amir Naseredini S. Gast Martin Schwarzl Pedro Miguel Sousa Bernardo Amel Smajic Claudio Canella Martin Berger Daniel Gruss 105 3 0 24 Nov 2021
Dynamic Process Isolation Martin Schwarzl Pietro Borrello Andreas Kogler Kenton Varda T. Schuster Daniel Gruss Michael Schwarz 189 11 0 10 Oct 2021
An Analysis of Speculative Type Confusion Vulnerabilities in the WildUSENIX Security Symposium (USENIX Security), 2021 Ofek Kirzner Adam Morrison 146 38 0 29 Jun 2021
Intentional Forgetting D. Shands C. Talcott 54 7 0 17 Jun 2021
SoK: Practical Foundations for Software Spectre DefensesIEEE Symposium on Security and Privacy (IEEE S&P), 2021 Sunjay Cauligi Craig Disselkoen D. Moghimi Gilles Barthe D. Stefan 129 56 0 12 May 2021
Selectively Delaying Instructions to Prevent Microarchitectural Replay Attacks Christos Sakalis S. Kaxiras Magnus Själander 63 0 0 19 Mar 2021
Swivel: Hardening WebAssembly against SpectreUSENIX Security Symposium (USENIX Security), 2021 Shravan Narayan Craig Disselkoen D. Moghimi Sunjay Cauligi Evan Johnson ... Anjo Vahldiek-Oberwagner R. Sahita H. Shacham Dean Tullsen D. Stefan 129 68 0 25 Feb 2021
Speculative Dereferencing of Registers:Reviving Foreshadow Martin Schwarzl T. Schuster Michael Schwarz Daniel Gruss SILM 186 13 0 05 Aug 2020
Hardware-Software Contracts for Secure Speculation Marco Guarnieri Boris Köpf Jan Reineke Pepe Vila 215 103 0 06 Jun 2020
Survey of Transient Execution Attacks Wenjie Xiong Jakub Szefer SILM 172 26 0 27 May 2020
Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade Marco Vassena Craig Disselkoen K. V. Gleissenthall Sunjay Cauligi Rami Gökhan Kici Ranjit Jhala Dean Tullsen D. Stefan 166 6 0 01 May 2020
Bypassing memory safety mechanisms through speculative control flow hijacksEuropean Symposium on Security and Privacy (EuroS&P), 2020 Andrea Mambretti A. Sandulescu A. Sorniotti William K. Robertson E. Kirda Anil Kurmus 131 25 0 11 Mar 2020
An abstract semantics of speculative execution for reasoning about security vulnerabilities R. Colvin Kirsten Winter LRM 75 16 0 10 Mar 2020
Weird Machines as Insecure Compilation Jennifer Paykin Eric Mertens Mark Tullsen Luke Maurer Benoît Razet A. Bakst Scott Moore 100 4 0 01 Nov 2019
Constant-Time Foundations for the New Spectre EraACM-SIGPLAN Symposium on Programming Language Design and Implementation (PLDI), 2019 Sunjay Cauligi Craig Disselkoen K. V. Gleissenthall Dean Tullsen D. Stefan Tamara Rezk Gilles Barthe 215 123 0 03 Oct 2019
Fallout: Reading Kernel Writes From User Space Marina Minkin D. Moghimi Moritz Lipp Michael Schwarz Jo Van Bulck Daniel Genkin Daniel Gruss Frank Piessens B. Sunar Y. Yarom 192 67 0 29 May 2019
SpecFuzz: Bringing Spectre-type vulnerabilities to the surfaceUSENIX Security Symposium (USENIX Security), 2019 O. Oleksenko Bohdan Trach M. Silberstein Christof Fetzer 182 91 0 24 May 2019
ConTExT: Leakage-Free Transient Execution Michael Schwarz R. Schilling F. Kargl Moritz Lipp Claudio Canella Daniel Gruss 100 21 0 22 May 2019
SPECTECTOR: Principled Detection of Speculative Information Flows Marco Guarnieri Boris Köpf J. Morales Jan Reineke Andrés Sánchez 209 172 0 20 Dec 2018