TroLL：利用逻辑锁定与硬件木马之间的结构相似性
密码学与安全
2025-08-20 v2 硬件体系结构
摘要
逻辑锁定与硬件木马是硬件安全领域中两个大多独立发展的方向。本文揭示了这两个领域之间的关系。我们发现，许多逻辑锁定技术中存在的一种通用结构具有硬件木马（HWT）所期望的特性。据此，我们构建了一类新型硬件木马，称为基于逻辑锁定的木马（TroLL），其构造方式能够规避最先进的基于ATPG的硬件木马检测技术。为检测TroLL，我们提出对现有最先进的基于ATPG的硬件木马检测方法进行定制化，并将针对逻辑锁定的基于SAT的攻击适配于硬件木马检测。在实验中，我们以随机采样作为参照。结果表明，定制化的基于ATPG的方法性能最佳，但相较随机采样仅带来有限提升。此外，随着TroLL触发条件变长（即指定位数增多），其有效性也会下降。由此我们强调，亟需为TroLL寻找一种可扩展的硬件木马检测方法。
引用
@article{arxiv.2309.15067,
title = {TroLL: Exploiting Structural Similarities between Logic Locking and Hardware Trojans},
author = {Yuntao Liu and Aruna Jayasena and Prabhat Mishra and Ankur Srivastava},
journal= {arXiv preprint arXiv:2309.15067},
year = {2025}
}
备注
To appear on TCAD