TY  - RPRT
TI  - DECLASSIFLOW: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures (Full Version)
AU  - Rutvik Choudhary
AU  - Alan Wang
AU  - Zirui Neil Zhao
AU  - Adam Morrison
AU  - Christopher W. Fletcher
PY  - 2023
DO  - 10.1145/3576915.3623065
UR  - https://arxiv.org/abs/2312.09336
ID  - 2312.09336
ER  -