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

Conference on Computer and Communications Security (CCS), 2023

14 December 2023

Papers citing "DECLASSIFLOW: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures (Full Version)"

2 / 2 papers shown

Title
Securing Cryptographic Software via Typed Assembly Language (Extended Version) Shixin Song Tingzhen Dong Kosi Nwabueze Julian Zanders Andres Erbsen A. Chlipala Mengjia Yan 84 0 0 10 Sep 2025
Place Protections at the Right Place: Targeted Hardening for Cryptographic Code against Spectre v1 Yiming Zhu Wenchao Huang Yan Xiong 221 0 0 29 Aug 2024