ADVERSARIAL: And-Inverter Graph-Assisted Hardware Trojan Detection At Scale

该论文针对现代系统级芯片（SoC）中硬件木马（HT）检测的可扩展性问题提出了一种新颖方法。由于SoC包含数亿至数百亿门电路，现有HT检测方法因规模庞大而不可行。作者将平铺的门级网表建模为以与-逆变图（AIG）表示的布尔网络，其中所有内部节点

历史摘要 · 未重新核验 · arXiv cs.CR