15 citations · 18 across the 5 of their papers we have counts for
6 papers
Efficient Linkage-Based Compartmentalization on CHERI
Dapeng Gao, John Baldwin, Jessica Clarke +10
We present an efficient linkage-based model for in-process compartmentalization built on CHERI memory safety, which enables fine-grained compartmentalization of the entire UNIX use…
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…
SMaCk: Efficient Instruction Cache Attacks via Self-Modifying Code Conflicts
Seonghun Son, Daniel Moghimi, Berk Gulmezoglu
Self-modifying code (SMC) allows programs to alter their own instructions, optimizing performance and functionality on x86 processors. Despite its benefits, SMC introduces unique m…
A Turning Point for Verified Spectre Sandboxing
Sunjay Cauligi, Marco Guarnieri, Daniel Moghimi +2
Spectre attacks enable an attacker to access restricted data in an application's memory. Both the academic community and industry veterans have developed several mitigations to blo…
SoK: Practical Foundations for Software Spectre Defenses
Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi +2
Spectre vulnerabilities violate our fundamental assumptions about architectural abstractions, allowing attackers to steal sensitive data despite previously state-of-the-art counter…
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…