Hardware trojans (HT) impact our everyday life and may even cause life threatening situations. Unlike other errors and malfunctions, Trojans are inserted deliberately. Apart from insider attacks, the economically driven outsourcing of production steps to third party contractors enlarges the attack surface dramatically. Ideally, any undesired modification made to an IC should be detectable by presilicon verification/simulation and post-silicon...
