基于SAT的分离制造攻击方法

• 作者: 严昌浩 刘佳琳 周海 周电 曾璇 陆昆
• 来源期刊: 复旦学报（自然科学版）
• 学科: 工学
• 关键词: 分离制造 布尔可满足性 CycSAT 基于SAT的攻击
• 年，卷（期）: 2019,（6）
• 页码范围: 696-705,718
• 页数: 11页
• 分类号: TN403
• 字数: 6844字
• 语种: 中文

摘要

芯片代工厂可能进行诸如IP盗版、过度生产和硬件木马插入等一系列的恶意攻击.分离制造是一种抵御来自芯片代工厂芯片攻击的重要技术.针对分离制造工艺,目前最好的攻击方法是基于网络流的邻近攻击算法,但在多数情况下,这种邻近攻击算法并不能完全恢复出原始电路.本文提出了一种基于布尔可满足性的攻击方法(SplitSAT),它利用功能正常的电路作为黑箱模型,利用多路复用器对待攻击的不完整电路建模为逻辑加密电路,将恢复电路连接关系的问题转化为逻辑解密的可满足性问题,采用已有的CycSAT算法求解带环路的可满足性问题,可显著提高邻近攻击的成功率.考虑到SAT算法可求解的问题规模有限,本文提出经验式的解空间缩减方法,利用现有物理信息和自动化布局布线工具的特点,降低了解空间规模,提高了SplitSAT攻击效率.实验结果验证了本文提出SplitSAT算法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾璇	复旦大学专用集成电路与系统国家重点实验室	34	66	4.0	6.0
2	周电	复旦大学专用集成电路与系统国家重点实验室	16	89	6.0	8.0
3	严昌浩	复旦大学专用集成电路与系统国家重点实验室	4	7	1.0	2.0
4	刘佳琳	复旦大学专用集成电路与系统国家重点实验室	1	0	0.0	0.0
5	陆昆	复旦大学专用集成电路与系统国家重点实验室	1	0	0.0	0.0
6	周海	复旦大学专用集成电路与系统国家重点实验室	1	0	0.0	0.0