SALTY:面向硬件Trojan检测的可解释人工智能引导结构分析
密码学与安全
2025-02-21 v1
摘要
硬件Trojan是不可可信供应链实体插入的数字设计中的恶意修改,可能引发多种攻击向量,如信息泄露(如MOLES Trojan)和 denial-of-service(很少触发的位翻转)。此类攻击在关键系统(如医疗和航空)中可能危及人类生命并导致灾难性财务损失。已developed了多种技术来检测数字设计中的此类恶意修改,特别是针对来自第三方知识产权(IP)供应商的设计。然而,大多数技术在评估时存在可扩展性问题(由于评估期间的不严谨假设)并导致大量假阳性检测(假警报)。我们的框架(SALTY)通过使用新型图神经网络架构(使用Jumping-Knowledge机制)生成初始预测,并使用可解释人工智能(XAI)方法进行微调(后处理)来缓解这些问题。实验表明,达到了98%的真阳性率(TPR)和真阴性率(TNR),显著优于标准基准测试中最先进的技术。
引用
@article{arxiv.2502.14116,
title = {SALTY: Explainable Artificial Intelligence Guided Structural Analysis for Hardware Trojan Detection},
author = {Tanzim Mahfuz and Pravin Gaikwad and Tasneem Suha and Swarup Bhunia and Prabuddha Chakraborty},
journal= {arXiv preprint arXiv:2502.14116},
year = {2025}
}