@misc{indiciaeccc4544a0301,
  title = {DECLASSIFLOW: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures (Full Version)},
  author = {Rutvik Choudhary and Alan Wang and Zirui Neil Zhao and Adam Morrison and Christopher W. Fletcher},
  year = {2023},
  doi = {10.1145/3576915.3623065},
  url = {https://arxiv.org/abs/2312.09336},
  note = {Source identifier: 2312.09336}
}