[1]刘佳琳,陆 昆,严昌浩,等.基于SAT的分离制造攻击方法[J].复旦学报(自然科学版),2019,06:696-705.
点击复制
《复旦学报》(自然科学版)[ISSN:/CN:]
- 期数:
-
2019年06
- 页码:
-
696-705
- 栏目:
-
- 出版日期:
-
2019-12-19
文章信息/Info
- Title:
-
-
- 作者:
-
刘佳琳; 陆 昆; 严昌浩; 周 海; 周 电; 曾 璇
-
- Author(s):
-
-
-
-
- 关键词:
-
-
- Keywords:
-
-
- 分类号:
-
-
- DOI:
-
-
- 文献标识码:
-
A
- 摘要:
-
芯片代工厂可能进行诸如IP盗版、过度生产和硬件木马插入等一系列的恶意攻击.分离制造是一种抵御来自芯片代工厂芯片攻击的重要技术.针对分离制造工艺,目前最好的攻击方法是基于网络流的邻近攻击算法,但在多数情况下,这种邻近攻击算法并不能完全恢复出原始电路.本文提出了一种基于布尔可满足性的攻击方法(SplitSAT),它利用功能正常的电路作为黑箱模型,利用多路复用器对待攻击的不完整电路建模为逻辑加密电路,将恢复电路连接关系的问题转化为逻辑解密的可满足性问题,采用已有的cycSAT算法求解带环路的可满足性问题,可显著提高邻近攻击的成功率.考虑到SAT 算法可求解的问题规模有限,本文提出经验式的解空间缩减方法,利用现有物理信息和自动化布局布线工具的特点,降低了解空间规模,提高了SplitSAT 攻击效率.实验结果验证了本文提出SplitSAT算法的有效性.
- Abstract:
-
更新日期/Last Update:
2019-12-19