A recursive strategy for symbolic execution to find exploits in hardware designs
A recursive strategy for symbolic execution to find exploits in hardware designs
复制标题
用于寻找硬件设计漏洞的符号执行递归策略
DOI：
10.1145/3219763.3219764
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Sturton, Cynthia
中科院分区：
文献类型：
--
作者：
Zhang, Rui;Sturton, Cynthia
本文提出了面向硬件的符号执行，它使用递归算法来查找硬件设计中的漏洞并生成漏洞利用。我们首先定义问题，然后制定和正式确定我们的策略。我们的方法允许通过可能无限的执行跟踪集进行有针对性的搜索，以查找大海捞针的错误状态。我们在开源的OR1200 RISC处理器上演示了这种方法。利用该方法，我们发现并生成了控制流错误、指令完整性错误和异常相关错误的攻击。
This paper presents hardware-oriented symbolic execution that uses a recursive algorithm to find, and generate exploits for, vulnerabilities in hardware designs. We first define the problem and then develop and formalize our strategy. Our approach allows for a targeted search through a possibly infinite set of execution traces to find needle-in-a-haystack error states. We demonstrate the approach on the open-source OR1200 RISC processor. Using the presented method, we find, and generate exploits for, a control-flow bug, an instruction integrity bug and an exception related bug.
登录
查看更多内容
识别处理器动态验证的安全关键属性
DOI：
10.1145/3037697.3037734
发表时间：
2017
期刊：
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子：
--
作者：
Zhang, Rui;Stanley, Natalie;Griggs, Christopher;Chi, Andrew;Sturton, Cynthia
通讯作者：
Sturton, Cynthia
使用软件分析仪进行硬件验证
DOI：
10.1109/isvlsi.2015.107
发表时间：
2015
期刊：
2015 IEEE Computer Society Annual Symposium on VLSI
影响因子：
--
作者：
Rajdeep Mukherjee;D. Kroening;T. Melham
通讯作者：
T. Melham
Java 字节码基于约束的测试输入生成
DOI：
10.1109/issre.2010.26
发表时间：
2010
期刊：
2010 IEEE 21st International Symposium on Software Reliability Engineering
影响因子：
--
作者：
Florence Charreteur;A. Gotlieb
通讯作者：
A. Gotlieb
规格：一种轻量级运行时机制，用于保护软件免受安全关键处理器错误的影响
DOI：
10.1145/2694344.2694366
发表时间：
2015
期刊：
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子：
--
作者：
Matthew Hicks;C. Sturton;Samuel T. King;Jonathan M. Smith
通讯作者：
Jonathan M. Smith