4 citations · 4 across the 1 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2023
DECLASSIFLOW: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures (Full Version)
Rutvik Choudhary, Alan Wang, Zirui Neil Zhao +2
Speculative execution attacks undermine the security of constant-time programming, the standard technique used to prevent microarchitectural side channels in security-sensitive sof…
cs.CR2023
Prefix Siphoning: Exploiting LSM-Tree Range Filters For Information Disclosure (Full Version)
Adi Kaufman, Moshik Hershcovitch, Adam Morrison
Key-value stores typically leave access control to the systems for which they act as storage engines. Unfortunately, attackers may circumvent such read access controls via timing a…
cs.CR2021★ 4 cited
An Analysis of Speculative Type Confusion Vulnerabilities in the Wild
Ofek Kirzner, Adam Morrison
Spectre v1 attacks, which exploit conditional branch misprediction, are often identified with attacks that bypass array bounds checking to leak data from a victim's memory. General…