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

arXiv:2607.23882 · cs.LG, cs.AR, cs.CR · Submitted 2026-07-26 · Read on arXiv

Yaroslav Popryho, Debjit Pal, Inna Partin-Vaisband

cs.LG, cs.AR, cs.CR

Submitted: 2026-07-26

Comments: 9 pages, 5 figures, 3 tables. Accepted for publication at the IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2026)

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• AUC — 18× in this paper · explained in 2 episodes
• Hardware Trojan — 18× in this paper
• Verification — 18× in this paper · explained in 2 episodes
• Embeddings — 13× in this paper · explained in 2 episodes
• Benchmark — 10× in this paper · explained in 2 episodes
• Knowledge Graph — 9× in this paper · explained in 7 episodes
• Aggregation — 7× in this paper · explained in 1 episode
• And-Inverter Graph — 7× in this paper
• Knowledge Graph Embedding — 6× in this paper
• Core — 5× in this paper · explained in 2 episodes
• Ablation — 3× in this paper · explained in 1 episode
• Consistency — 3× in this paper · explained in 3 episodes
• Latent Space — 3× in this paper · explained in 7 episodes
• Catastrophic Forgetting — 2× in this paper · explained in 5 episodes
• Abstraction — 1× in this paper · explained in 1 episode
• Accuracy — 1× in this paper · explained in 1 episode
• Explainability — 1× in this paper · explained in 3 episodes
• Feature Engineering — 1× in this paper · explained in 3 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes
• GNNs — 1× in this paper · explained in 2 episodes
• Graph Neural Networks (GNNs) — 1× in this paper · explained in 7 episodes
• Latent Representation — 1× in this paper · explained in 2 episodes
• Latent Representations — 1× in this paper · explained in 3 episodes
• Redundancy — 1× in this paper · explained in 2 episodes
• Reinforcement Learning — 1× in this paper · explained in 4 episodes
• Trace — 1× in this paper · explained in 2 episodes
• Transformer — 1× in this paper · explained in 2 episodes

Sources

• Automated Hardware Trojan Insertion in Industrial-Scale Designs

Related papers

• Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation
• AIRL-S: Unifying Reinforcement Learning and Search-Based Test-Time Scaling via Adversarial Inverse Reinforcement Learning
• Transformers as Bayesian In-Context Experimenters: Smoothness-Adaptive Efficient ATE Estimation
• Convergence issues in Relational Concept Analysis based on AOC-posets
• Beliefs Beyond Posteriors: Local-Consistency Optimisation for Bayesian Neural Networks
• Understanding Diffusion Models via Ratio-Based Function Approximation with SignReLU Networks