.png){kind=icon}
返回
High-trigger fuzz testing for microarchitectural speculative execution vulnerability
.png){kind=icon}
PRE
AI
DOI：10.1016/j.cose.2025.104567.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
微架构推测执行漏洞可以被利用来窃取私有信息，甚至绕过代码中的某些防御性编程措施。检测此类漏洞的难点在于确保推测执行的高触发频率。然而，现有方法随机生成测试程序，具有高不确定性，缺乏推测执行所需的代码行依赖关系，导致推测执行触发率低。同时，测试输入中的某些变量被随机选择进行变异，但所选变量往往与执行路径缺乏关联，导致检测充分性和收集信息的收敛性低。因此，本文提出了一种针对微架构推测执行漏洞的高触发模糊测试方法（HT-SEV）。HT-SEV构建了一个寄存器选择模型，基于生成代码的数据流和实时寄存器分布生成后续代码，建立不同代码行之间的数据依赖关系。此外，提出了双向梯度变异方法，挖掘输入与收集的微架构信息之间的关联，以指导输入变异，实现路径高覆盖和检测信息多样性。在多个指令子集上的实验结果表明，HT-SEV优于当前最先进的同类方法。该方法创新性地定义了数据依赖关系，捕获细粒度的代码执行信息。
期刊
C
IF:
5.4
论文数:
4.6K
被引数:
1.4W
机构
暂无机构信息
引用论文
Unveiling and Evaluating Vulnerabilities in Branch Predictors via a Three-Step Modeling Methodology.png)
IF0
PREAI
分享收藏
INTROSPECTRE: A Pre-Silicon Framework for Discovery and Analysis of Transient Execution VulnerabilitiesINTROSPECTRE：一种用于发现和分析瞬态执行漏洞的片上系统前验证框架
PREAI
分享收藏
查看更多内容