DejaVuzz: Disclosing Transient Execution Bugs with Dynamic Swappable Memory and Differential Information Flow Tracking Assisted Processor Fuzzing

The work

AuthorsJinyan Xu; Yangye Zhou; Xingzhi Zhang; Yinshuai Li; Qinhan Tan; Yinqian Zhang; Yajin Zhou; Rui Chang; Wenbo Shen
Editors
Typeinproceedings
Year2025
Citekeyxu2025dejavuzz

Where it appeared

Published inProceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2025), Volume 3
Pages64--80

Identifiers

arXiv2504.20934 from its landing_page_url
DOI10.1145/3676642.3736115

Related

Distinct fromfadiheh2022exhaustive
Distinct fromrostami2024lost

From bibtex.

Abstract

Transient execution vulnerabilities have emerged as a critical threat to modern processors. Hardware fuzzing testing techniques have recently shown promising results in discovering transient execution bugs in large-scale out-of-order processor designs. However, their poor microarchitectural controllability and observability prevent them from effectively and efficiently detecting transient execution vulnerabilities. This paper proposes DejaVuzz, a novel pre-silicon stage processor transient execution bug fuzzer. DejaVuzz utilizes two innovative operating primitives: dynamic swappable memory and differential information flow tracking, enabling more effective and efficient transient execution vulnerability detection. The dynamic swappable memory enables the isolation of different instruction streams within the same address space. Leveraging this capability, DejaVuzz generates targeted training for arbitrary transient windows and eliminates ineffective training, enabling efficient triggering of diverse transient windows. The differential information flow tracking aids in observing the propagation of sensitive data across the microarchitecture. Based on taints, DejaVuzz designs the taint coverage matrix to guide mutation and uses taint liveness annotations to identify exploitable leakages. Our evaluation shows that DejaVuzz outperforms the state-of-the-art fuzzer SpecDoctor, triggering more comprehensive transient windows with lower training overhead and achieving a 4.7x coverage improvement. And DejaVuzz also mitigates control flow over-tainting with acceptable overhead and identifies 5 previously undiscovered transient execution vulnerabilities (with 6 CVEs assigned) on BOOM and XiangShan.

A copy is held

pdf, 3.4 MB. Not published — it may be under copyright. The facts and links here are.

How it got here

How it got hereagent via bibtex
Added2026-09-17 19:13 UTC
Approved bya person 2026-10-05 21:29 UTC

Cite it as

@inproceedings{xu2025dejavuzz,
  title        = {DejaVuzz: Disclosing Transient Execution Bugs with Dynamic Swappable Memory and Differential Information Flow Tracking Assisted Processor Fuzzing},
  author       = {Jinyan Xu and Yangye Zhou and Xingzhi Zhang and Yinshuai Li and Qinhan Tan and Yinqian Zhang and Yajin Zhou and Rui Chang and Wenbo Shen},
  year         = {2025},
  booktitle    = {Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2025), Volume 3},
  pages        = {64--80},
  doi          = {10.1145/3676642.3736115},
}

This record lives at https://refs.drheap.org/xu2025dejavuzz/ and will keep doing so.