【摘 要】
：
芯片代工厂可能进行诸如IP盗版、过度生产和硬件木马插入等一系列的恶意攻击.分离制造是一种抵御来自芯片代工厂芯片攻击的重要技术.针对分离制造工艺,目前最好的攻击方法是
【机 构】
：
复旦大学专用集成电路与系统国家重点实验室
论文部分内容阅读
芯片代工厂可能进行诸如IP盗版、过度生产和硬件木马插入等一系列的恶意攻击.分离制造是一种抵御来自芯片代工厂芯片攻击的重要技术.针对分离制造工艺,目前最好的攻击方法是基于网络流的邻近攻击算法,但在多数情况下,这种邻近攻击算法并不能完全恢复出原始电路.本文提出了一种基于布尔可满足性的攻击方法(SplitSAT),它利用功能正常的电路作为黑箱模型,利用多路复用器对待攻击的不完整电路建模为逻辑加密电路,将恢复电路连接关系的问题转化为逻辑解密的可满足性问题,采用已有的CycSAT算法求解带环路的可满足性问题,可显著
其他文献
背景：基于PCR的核酸测定技术已成为流感病毒学监测和诊断的首选方法。然而除了核酸测定方法、测定试剂、使用的引物和探针外,核酸测定分析前的样品储存、转运以及核酸分离纯化
《歧路灯》是一部教育思想极为丰富的长篇小说。小说通过塑造一系列文学形象表明了作者的教育思想：“身正为范”是父亲教育子女成长的关键,“爱得适中”是母亲影响子女人格健
目的观察热毒宁注射液治疗小儿支气管肺炎的临床疗效。方法 81例小儿支气管肺炎患儿按随机数字表法分为观察组40例和对照组41例。对照组予抗炎对症等常规治疗,观察组在常规治
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
近年来，朝阳市政府十分重视生态环境改善，努力恢复脆弱的生态环境，经过多年的努力生态环境得到了一定的恢复。但是，目前朝阳市在生态建设中仍存在着一些主要问题。本文系统地分析
公共部门绩效评估与公务员绩效评估既相互联系又相互区别。而作为一种个人绩效评估的工具，公务员绩效评估与企业个人绩效评估也有可比较之处。本文通过比较，以期了解这三种绩效
元朝灭宋完成南北大一统后,随着蒙古族统治地位的不断稳固和加强,少数民族的各种习俗与生活方式对汉族人产生了巨大影响,其中女性家庭角色的改变尤其引人注目。部分汉族女性
在函数问题中 ,当变元出现的次数不止一次时 ,我们就不便于作出函数的图象或讨论函数的性质 .因此经常需要减少变元出现的次数 ,直至其仅仅出现一次 .这就是减元的思想 .减元
本文通过垄膜沟灌与平作两种栽培方式的对比试验,对不同栽培方式下洋葱的生育期、灌溉量、田间操作、生物学性状、产量等方面进行记载。试验结果表明,垄膜沟灌栽培与平作栽培
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield