中文

针对硬件木马保护的集成电路版图安全闭合

密码学与安全 2022-11-16 v1 硬件体系结构 机器学习

摘要

由于成本优势,集成电路(IC)的供应链如今大量外包。然而,IC经过各类第三方供应商会带来诸多威胁,例如IC知识产权盗用或硬件木马(即恶意电路修改)的植入。在本工作中,我们主动且系统地对IC物理版图进行加固,以抵御设计后木马的植入。为此,我们提出了一种基于多路复用器的逻辑锁定方案,该方案(i)专为版图级木马防护而设计,(ii)可抵御最先进的、无预言机的机器学习攻击,以及(iii)完全集成于一个定制但通用的、商用级设计流程中。我们的工作在一个具有挑战性的基准测试套件上提供了深入的安全与版图分析。我们表明,我们的方案能以合理的开销使版图对一般木马植入以及二阶攻击(即无预言机设定下试图绕过锁定防御的对手)具有韧性。我们发布了版图工件以供独立验证[29],并将发布我们方法的源代码。

关键词

引用

@article{arxiv.2211.07997,
  title  = {Security Closure of IC Layouts Against Hardware Trojans},
  author = {Fangzhou Wang and Qijing Wang and Bangqi Fu and Shui Jiang and Xiaopeng Zhang and Lilas Alrahis and Ozgur Sinanoglu and Johann Knechtel and Tsung-Yi Ho and Evangeline F. Y. Young},
  journal= {arXiv preprint arXiv:2211.07997},
  year   = {2022}
}

备注

To appear in ISPD'23