基于可满足性无关项的硬件木马设计与检测.docx

1 引言 随着集成电路产业链的全球化，集成电路设计中通常会大量使用来自不可信第三方的知识产权（IP，intellectual property）核。这些IP中可能隐含设计规范之外的未公开恶意代码和后门。此外，由于成本限制，集成电路设计完成之后往往交由芯片制造商进行加工，此过程中不可信制造商也可能插入未声明恶意设计修改。上述由不可信第三方引入的恶意设计修改，称为硬件木马[1]，硬件木马通常只有在特定的条件下才会激活，现有的集成电路测试方法难以实现木马检测。攻击者可通过特定输入、侧信道、故障注入等方式激活木马，从而造成敏感信息泄露、设计性能降低甚至系统失效，造成极大的安全威胁[2]。 Karri