Jul 2026
ADVERSARIAL: And-Inverter Graph-Assisted Hardware Trojan Detection At 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.
Yaroslav Popryho, Debjit Pal, Inna Partin-Vaisband
· arXiv.org · 0 citations