探索者困境：硬件木马检测的现实建模与基准测试
密码学与安全
2024-02-29 v1 硬件体系结构
机器学习
摘要
本工作通过正式定义硬件木马（HT）检测的现实问题，致力于推进硬件设计领域的安全研究。目标是更贴近现实世界对HT检测进行建模，即将问题描述为“探索者困境”（图上的捉迷藏扩展），其中检测代理不知道电路是否被HT感染。利用这一理论问题表述，我们创建了一个基准测试，包含混合了无HT和感染HT的重构电路，同时保留其原始功能。重构电路被随机感染HT，导致防御者不确定电路是否被感染的情况。我们相信，我们的创新数据集将帮助社区通过比较不同方法在电路分类中的成功率，更好地判断检测质量。我们使用开发的基准测试评估了三种最先进的HT检测工具，以展示该方法的基线结果。我们使用主成分分析评估基准测试的强度，观察到一些重构的HT感染电路与无HT电路映射得很接近，导致检测器出现显著的标签误分类。
引用
@article{arxiv.2402.17918,
title = {The Seeker's Dilemma: Realistic Formulation and Benchmarking for Hardware Trojan Detection},
author = {Amin Sarihi and Ahmad Patooghy and Abdel-Hameed A. Badawy and Peter Jamieson},
journal= {arXiv preprint arXiv:2402.17918},
year = {2024}
}