A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods.

Christian Krieg, Michael Rathmair, Florian Schupfer

Browse the full HPCC paper archive.