混合硬件Fuzzer,结合形式验证方法和模糊工具的功能


新技术论文题为“HyPFuzz: Formal-Assisted处理器起毛”发表的德州农工大学和科技大学的研究人员达姆施塔特。文摘:“最近的研究表明,硬件fuzz可以有效地检测安全漏洞在现代处理器。然而,现有的硬件fuzz并不模糊难以设计空间。因此,…»阅读更多

Baidu