Applied formal methods for hardware Trojan detection.

Michael Rathmair, Florian Schupfer, Christian Krieg

Browse the full ISCAS paper archive.