Index was outside the bounds of the array. 文章摘要
|本期目录/Table of Contents|

[1]刘佳琳,陆 昆,严昌浩,等.基于SAT的分离制造攻击方法[J].复旦学报(自然科学版),2019,06:696-705.
点击复制

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

《复旦学报》(自然科学版)[ISSN:/CN:]

期数:
2019年06
页码:
696-705
栏目:
出版日期:
2019-12-19

文章信息/Info

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

参考文献/References

备注/Memo

备注/Memo:
更新日期/Last Update: 2019-12-19