藏在掩饰之下：将硬件特洛伊基准重新定义为隐藏与寻找出题

本工作致力于推进硬件设计领域的安全研究，通过形式化定义硬件特洛伊（Hardware Trojan, HT）检测的现实问题。目标是将 HT 检测建模为寻求者困境（The Seeker's Dilemma），即检测代理不知道电路是否感染特洛伊。基于此理论问题表述，我们创建了一个基准，包含被感染和未被感染的重新结构化电路的混合物，同时保持其原始功能。重新结构化的电路被随机感染特洛伊，导致防御者不确定电路是否被感染。我们认为，这种创新的基准和创建方法的 methodology 将帮助社区通过比较不同方法在电路分类中的成功率来判断其检测质量。我们使用开发的基准评估了三个最先进的 HT 检测工具，以显示本方法的基线结果。我们使用主成分分析（Principal Component Analysis）来评估基准强度，其中我们观察到一些重新结构化的 HT 被感染电路与 HT 免疫电路被映射得很接近，导致检测器对其进行显著的标签误分类。