End-to-End Automated Exploit Generation for Processor Security Validation
End-to-End Automated Exploit Generation for Processor Security Validation
复制标题
用于处理器安全验证的端到端自动漏洞利用生成
DOI：
10.1109/mdat.2021.3063314
复制
发表时间：
2021
影响因子：
2
通讯作者：
Sturton, Cynthia
中科院分区：
文献类型：
--
作者：
Zhang, Rui;Deutschbein, Calvin;Huang, Peng;Sturton, Cynthia
登录
查看更多内容
识别处理器动态验证的安全关键属性
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
规格：一种轻量级运行时机制，用于保护软件免受安全关键处理器错误的影响
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
安全检查器：在运行时检测处理器恶意包含
DOI：
10.1109/hst.2011.5954992
发表时间：
2011
期刊：
2011 IEEE International Symposium on Hardware-Oriented Security and Trust
影响因子：
--
作者：
Michael Bilzor;Ted Huffmire;C. Irvine;T. Levin
通讯作者：
T. Levin