基于SAT的分离制造攻击方法 |
| |
作者姓名: | 刘佳琳 陆昆 严昌浩 周海 周电 曾璇 |
| |
作者单位: | 复旦大学专用集成电路与系统国家重点实验室,上海201203;复旦大学专用集成电路与系统国家重点实验室,上海201203;复旦大学专用集成电路与系统国家重点实验室,上海201203;复旦大学专用集成电路与系统国家重点实验室,上海201203;复旦大学专用集成电路与系统国家重点实验室,上海201203;复旦大学专用集成电路与系统国家重点实验室,上海201203 |
| |
摘 要: | 芯片代工厂可能进行诸如IP盗版、过度生产和硬件木马插入等一系列的恶意攻击.分离制造是一种抵御来自芯片代工厂芯片攻击的重要技术.针对分离制造工艺,目前最好的攻击方法是基于网络流的邻近攻击算法,但在多数情况下,这种邻近攻击算法并不能完全恢复出原始电路.本文提出了一种基于布尔可满足性的攻击方法(SplitSAT),它利用功能正常的电路作为黑箱模型,利用多路复用器对待攻击的不完整电路建模为逻辑加密电路,将恢复电路连接关系的问题转化为逻辑解密的可满足性问题,采用已有的CycSAT算法求解带环路的可满足性问题,可显著提高邻近攻击的成功率.考虑到SAT算法可求解的问题规模有限,本文提出经验式的解空间缩减方法,利用现有物理信息和自动化布局布线工具的特点,降低了解空间规模,提高了SplitSAT攻击效率.实验结果验证了本文提出SplitSAT算法的有效性.
|
关 键 词: | 分离制造 布尔可满足性 CycSAT 基于SAT的攻击 |
本文献已被 CNKI 万方数据 等数据库收录! |
|