技术论文

重用验证断言作为硬件木马检测的安全检查

研究人员提出一个新方法为使用验证断言安全检查。

受欢迎程度

文摘

半导体行业的“全球化使制程设计公司降低成本,节省时间,并利用新技术。然而,集成电路(IC)制造外包的消极方面,包括硬件木马等威胁(高温超导)——一种恶意的逻辑,不是简单的检测。集成电路设计的一个方面,不受全球化的影响是全面验证的必要性。验证工程师设计复杂的资产,以确保设计是没有错误,包括断言。这通常不是知识重用一旦验证。本文的前提是,验证已经存在的资产可以转化为有效的安全检查HT检测。为此,我们展示如何断言可以作为在线监测。为此,我们提出一个安全指标和断言选择流,利用节奏JasperGold安全路径验证(SPV)。实验结果表明,我们的方法扩展为industry-size电路通过分析100多个断言的不同知识产权(ip) OpenTitan SoC (SoC)。此外,我们的检测解决方案是务实的,因为它不依赖于HT激活机制。”

找到这里的技术论文。Jan.2022出版。

穆罕默德伊斯拉米塔拉Ghasempouri撒母耳Pagliarini
中心硬件安全、塔林理工大学、爱沙尼亚塔林

访问半导体工程的这里的技术论文库和发现更多的芯片行业学术论文。



留下一个回复


(注意:这个名字会显示公开)

Baidu