祝贺!深维科技北大合作团队首次在EDA国际顶会DAC 2023上发表关于集成电路安全领域的论文

祝贺!深维科技北大合作团队首次在EDA国际顶会Design Automation Conference(DAC)2023上发表关于集成电路安全领域的论文。

电子设计自动化会议(DAC)是芯片到系统的设计和设计自动化的顶级会议。DAC为设计师、研究人员、工具开发人员和供应商提供出色的培训、教育、展览和极好的交流机会。会议由计算机协会(ACM)和电气电子工程师协会(IEEE)主办,并得到ACM设计自动化专业组(SIGDA)和IEEE电子设计自动化委员会(CEDA)的支持。

深维科技北大合作团队在DAC上发表的论文题目是“GDSII-Guard:抗版图级硬件木马攻击的设计时自动化框架”,本论文围绕日益凸显的芯片安全问题,为IC行业提出了一种可行解决思路和实践方向的参考。

文章相关摘要翻译如下:
标题:GDSII-Guard:抗版图级硬件木马攻击的设计时自动化框架
作者:Xinming Wei, Jiaxi Zhang, Guojie Luo
摘要:随着晶体管特征尺寸的不断缩小,不断增长的成本已经导致了集成电路(IC)制造的大规模外包。然而,这种外包带来了重大的安全风险,因为不可信的晶圆厂可以在制造过程中进行阴险的攻击而不受密切监督。因此,在将最终设计布局发送到晶圆厂之前进行设计保护至关重要。晶圆厂级硬件木马已经成为一个重要的安全威胁,但现有的设计对策在设计安全和性能之间缺乏足够的考虑权衡。本文提出了自动化框架GDSII-Guard,旨在加强物理版图的实现,防范潜在的制造时木马攻击,同时保持设计性能、功耗和质量。我们开发了一个包含精心设计的抗木马算子的工程变更订单(ECO)布局布线(P&R)流程,以防止在设计阶段插入木马。此外,我们引入了一个多目标优化模型,利用演化策略,将抗木马流程信息纳入考虑,以在上述多个设计指标之间实现平衡。实验结果表明,GDSII-Guard将给定设计面临的木马攻击风险降低了98.8%,同时最大程度地减小了时序、功耗和设计质量方面的影响,明显超越了现有方法。
致谢:本工作得到国家重点研发计划(资助编号:2022YFB4500500)、国家自然科学基金(资助编号:62090021)以及北京深维科技有限公司的支持。

DAC链接: https://60dac.conference-program.com/presentation/?id=RESEARCH047&sess=sess151

Title:GDSII-Guard: ECO Anti-Trojan Optimization with Exploratory Timing-Security Trade-Offs
Authors:Xinming Wei, Jiaxi Zhang, Guojie Luo
Description:With the ever-shrinking feature size of transistors, the exorbitant cost has driven the massive outsourcing of integrated circuits (IC) fabrication. However, this outsourcing poses significant security risks because untrustworthy foundries can conduct insidious fabrication-time attacks without close supervision. Therefore, it is crucial to undertake design-time protection before sending finalized design layouts to the foundry. Foundry-level hardware Trojan has emerged as a major security threat, but existing design-time countermeasures lack sufficient consideration of good trade-offs between design security and performance.This work proposes an automatic framework, GDSII-Guard, to strengthen implemented physical layouts against potential fabrication-time Trojan attacks while preserving design performance, power, and quality. We develop an Engineering Change Order (ECO) placement and routing (P&R) flow containing elaborate anti-Trojan operators to prevent Trojan insertion. Moreover, we introduce a multi-objective optimization model with evolutionary strategies that incorporate anti-Trojan flow information to exploit balances between the aforementioned multiple design metrics. Experimental results demonstrate that GDSII-Guard reduces the overall risk of Trojan attacks on given designs by 98.8% with minimized timing, power, and design quality impact, surpassing existing approaches prominently.
Acknowledgment:This work was partly supported by National Key R&D Program of China (Grant No. 2022YFB4500500), National Natural Science Foundation of China (Grant No. 62090021), and DeePoly Technology Inc.

发表评论

邮箱地址不会被公开。 必填项已用*标注