Swivel: Hardening WebAssembly against Spectre

Swivel: Hardening WebAssembly against Spectre

25 February 2021

Shravan Narayan

Craig Disselkoen

Anjo Vahldiek-Oberwagner

Dean Tullsen

Papers citing "Swivel: Hardening WebAssembly against Spectre"

13 / 13 papers shown

Title
SafeBPF: Hardware-assisted Defense-in-depth for eBPF Kernel Extensions S. Lim Tanya Prasad Xueyuan Han Thomas Pasquier 31 4 0 11 Sep 2024
Okapi: Efficiently Safeguarding Speculative Data Accesses in Sandboxed Environments Philipp Schmitz Tobias Jauch Alex Wezel M. R. Fadiheh T. Tiemann Jonah Heller T. Eisenbarth D. Stoffel W. Kunz 27 0 0 13 Dec 2023
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time Nicholas Mosier Hamed Nemati John C. Mitchell Caroline Trippel 25 9 0 11 Sep 2023
This is How You Lose the Transient Execution War Allison Randal 26 4 0 06 Sep 2023
MeSHwA: The case for a Memory-Safe Software and Hardware Architecture for Serverless Computing Anjo Vahldiek-Oberwagner Mona Vij 19 1 0 15 Nov 2022
Private delegated computations using strong isolation Mathias Brossard Guilhem Bryant Basma El Gaabouri Xinxin Fan Alexandre Ferreira ... Dominic P. Mulligan Nick Spinale Eric van Hensbergen Hugo J. M. Vincent Shale Xiong 29 4 0 06 May 2022
Security Risks of Porting C Programs to WebAssembly Quentin Stiévenart Coen De Roover Mohammad Ghafari ELM SILM 26 22 0 22 Dec 2021
The Security Risk of Lacking Compiler Protection in WebAssembly Quentin Stiévenart Coen De Roover Mohammad Ghafari ELM 11 16 0 02 Nov 2021
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly R. Tsoupidi Musard Balliu Benoit Baudry 15 6 0 03 Sep 2021
Stockade: Hardware Hardening for Distributed Trusted Sandboxes Joongun Park Seung-Hyun Kang Sanghyeon Lee Taehoon Kim Jongse Park Youngjin Kwon Jaehyuk Huh 19 1 0 26 Aug 2021
An Analysis of Speculative Type Confusion Vulnerabilities in the Wild Ofek Kirzner Adam Morrison 21 35 0 29 Jun 2021
SoK: Practical Foundations for Software Spectre Defenses Sunjay Cauligi Craig Disselkoen D. Moghimi Gilles Barthe D. Stefan 39 47 0 12 May 2021
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 34 183 0 13 Jun 2018