activity
20192026
most citedSwivel: Hardening WebAssembly against Spectre

15 citations · 34 across the 5 of their papers we have counts for

collaborators

5 papers

cs.CR2026

ARM MTE Performance in Practice (Extended Version)

Taehyun Noh, Yingchen Wang, Tal Garfinkel +4

We present the first comprehensive analysis of ARM MTE hardware performance on four different microarchitectures: ARM Big (A7x), Little (A5x), and Performance (Cortex-X) cores on t…

cs.CR2021★ 13 cited

Isolation Without Taxation: Near Zero Cost Transitions for SFI

Matthew Kolosick, Shravan Narayan, Evan Johnson +5

Software sandboxing or software-based fault isolation (SFI) is a lightweight approach to building secure systems out of untrusted components. Mozilla, for example, uses SFI to hard…

cs.CR2021★ 15 cited

Swivel: Hardening WebAssembly against Spectre

Shravan Narayan, Craig Disselkoen, Daniel Moghimi +8

We describe Swivel, a new compiler framework for hardening WebAssembly (Wasm) against Spectre attacks. Outside the browser, Wasm has become a popular lightweight, in-process sandbo…

cs.CR2020

Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version)

Shravan Narayan, Craig Disselkoen, Tal Garfinkel +5

Firefox and other major browsers rely on dozens of third-party libraries to render audio, video, images, and other content. These libraries are a frequent source of vulnerabilities…

cs.CR2019★ 6 cited

Gobi: WebAssembly as a Practical Path to Library Sandboxing

Shravan Narayan, Tal Garfinkel, Sorin Lerner +2

Software based fault isolation (SFI) is a powerful approach to reduce the impact of security vulnerabilities in large C/C++ applications like Firefox and Apache. Unfortunately, pra…