Invariance Checking Based Trojan Detection Method for Three-Dimensional Integrated Circuits.

Zhiming Zhang, Qiaoyan Yu

Browse the full ISCAS paper archive.