中文

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}
}