集成电路安全（一）：硬件木马检测

最近看到了一本关于集成电路安全的书，之前我做的方向是关于软件层面的安全，对于硬件方面的安全涉及最多的就是关于ARM的TrustZone架构。

这里来简要看看硬件方面的，扩展一下自己对于安全的认识。

• 硬件木马监测
• 形式化验证
• 芯片防伪与IC保护
• 物理不可克隆函数
• 基于新型器件的硬件安全
• 硬件辅助计算机安全

长期以来，硬件一直被视为支持整个计算机系统的可信平台，是负责运行从软件层传递指令的抽象层。因此，与硬件相关的安全性研究通常涉及加密算法的硬件实现，硬件被用于提高加密应用程序计算的性能和效率[1]。

硬件版权保护技术也被归入与硬件相关的安全领域。虽然水印技术已被广泛用于解决版权保护问题[2]，但是安全领域的研究者并未考虑硬件本身的保护问题。安全领域的研究者往往认为集成电路供应链（以下简称IC供应链）本身既封闭又复杂，攻击者无法轻易攻击集成电路。

随着尖端工艺的代工成本和现代片上系统（system-on-a-chip，SoC）平台设计复杂性的不断提高，曾经局限于一个国家甚至一家公司的IC供应链已经遍布全球。

在这种形式下，硬件电路设计中的第三方资源（主要指用于外包芯片制造和SoC开发的第三方知识产权，即intellectual property，简称IP核，包括软核和硬核）在现代电路设计和