硬件木马检测框架

结合门级固有属性与结构连接性的协作子图分类方法，在保证检测精度的同时显著降低误报并提升可扩展性。

Hu, Xing · Zhang, Yang · 刘胜 · 陈小文 · Yaohua, Wang · 赵振宇 · 郭阳 · Keqin, Li

Expert Systems with Applications 2026

参数信息

真阳性率提升

13.6 %

加速比

120 ×

技术优势

检测更快

通过仅围绕少翻转门提取子图，大幅缩小分析范围，实现 120 倍加速。

误报更少

联合建模节点的隐藏性属性和子图的拓扑特征，有效抑制误报。

大设计更受益

性能提升随设计规模增大而增大，更适合大规模网表。

应用场景

• 芯片安全：用自动化分析替代人工审查，快速定位可疑木马，降低漏检风险。
• 电子设计自动化：作为 EDA 流程中的安全验证步骤，嵌入设计后端，不影响原有设计收敛。