工业规模设计中自动化硬件 Trojan 插入
密码学与安全
2025-11-13 v1 机器学习
摘要
工业系统单芯片（SoC）通常包含数十万至数百万个网格，以及数百万至数千万条连接边，使得在真实设计上进行硬件 Trojan（HT）检测器的经验评估既必要又困难。公开基准显著小于且手工制作，而发布真正恶意的 RTL 则存在伦理和操作风险。本工作提出一种自动化且可扩展的方法，用于在行业规模的 netlist 中生成 HT 类似模式，其目的是在不改变用户可见功能的情况下，对检测工具进行压力测试。该管道 (i) 将大型 gate 级设计解析为连接图，(ii) 使用 SCOAP 可测试性指标探索稀有区域，(iii) 对参数化、功能保持的图变换应用，以合成触发器-有效载荷对，模拟隐蔽 HT 的统计足迹。对本工作生成的基准进行评估时，代表性最先进的图学习模型无法检测到 Trojan。该框架通过提供可复现的挑战实例，缩小了学术电路与现代 SoC 之间的评估差距，推动了安全研究进展，而无需共享逐步攻击说明。
引用
@article{arxiv.2511.08703,
title = {Automated Hardware Trojan Insertion in Industrial-Scale Designs},
author = {Yaroslav Popryho and Debjit Pal and Inna Partin-Vaisband},
journal= {arXiv preprint arXiv:2511.08703},
year = {2025}
}
备注
Accepted in DATE 2026