most citedDECLASSIFLOW: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures (Full Version)

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

cs.CR2023★ 4 cited

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…