Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces a novel approach for Hardware Trojan (HT) detection in large System-on-Chip (SoC) designs by utilizing And-Inverter Graphs (AIGs) to model gate-level netlists. By integrating symbolic learning within a Knowledge Graph Embedding framework, the method achieves linear scalability in training and inference, effectively distinguishing between benign and malicious circuit structures. Experimental results on extensive SoC benchmarks reveal a significant geometric separation between Trojan and non-Trojan nodes, showcasing the method's practical applicability in real-world scenarios.
AIG-based detection can scale to billions of gates while achieving clear differentiation between benign and Trojan circuits.
Modern System-on-Chip (SoCs) often contain hundreds of millions to tens of billions of gates, making existing Hardware Trojan (HT) detection methods impractical due to their immense scale. The proposed approach incorporates symbolically enabled learning by modeling flattened gate-level netlists as Boolean networks represented as And-Inverter Graphs (AIGs), where all internal nodes are 2-input AND gates and inversions reside on the edges. Each directed connection is expressed as a triple within a Knowledge Graph Embedding (KGE) framework, producing compact, constant-size per-node representations that retain multi-hop structural context. The AIG's bounded fan-in and uniform semantics ensure training and inference complexity scale linearly with edge count, addressing major scalability bottlenecks in HT detection. Symbolically enabled learning across deep datapaths enables the model to differentiate circuit structures from rare and functionally inconsistent connections that signify potential Trojan triggers and payloads. Experiments on large-scale SoC benchmarks demonstrate clear geometric separation between Trojan and benign nodes and practical scalability.