Trojan Awakener：利用激光逻辑状态成像检测休眠恶意硬件（扩展版）
密码学与安全
2023-02-03 v5
摘要
硬件木马（HTs）的威胁及其检测是一个被广泛研究的领域。尽管在专用集成电路（ASIC）中插入木马的代价相对较高，尤其在信任芯片制造商的情况下，但可编程硬件即使在产品出货后或使用期间也易受木马插入。同时，在这些平台上检测具有微小或零开销触发与载荷的休眠 HTs 仍是一项挑战，因为木马可能在基于逻辑测试或物理测量的芯片验证过程中未被激活。在本工作中，我们提出一种基于集成电路（IC）失效分析已知技术的新型木马检测方法，能够检测几乎所有类别的休眠木马。利用激光逻辑状态成像（LLSI），我们展示了供电电压调制如何唤醒非活跃木马，使其可通过激光电压成像技术检测。因此，我们的技术无需触发木马。为支持我们的主张，我们在 28 和 20 纳米基于 SRAM 与闪存的现场可编程门阵列（FPGAs）上给出了三个案例研究。我们展示了如何以非侵入方式高置信度检测 FPGA 中时序与组合逻辑以及布线配置上的微小改动。最后，我们讨论了该方法在 ASIC 中休眠模拟木马上的实际适用性。
引用
@article{arxiv.2107.10147,
title = {Trojan Awakener: Detecting Dormant Malicious Hardware Using Laser Logic State Imaging (Extended Version)},
author = {Thilo Krachenfels and Jean-Pierre Seifert and Shahin Tajik},
journal= {arXiv preprint arXiv:2107.10147},
year = {2023}
}
备注
This is the extended version prepared for journal submission. For remarks on the changes, see the last paragraph of Section 1