collaborators

1 paper

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…