Visible to the public Hardware Trojan Detection through Information Flow Security Verification

TitleHardware Trojan Detection through Information Flow Security Verification
Publication TypeConference Paper
Year of Publication2017
AuthorsNahiyan, A., Sadi, M., Vittal, R., Contreras, G., Forte, D., Tehranipoor, M.
Conference Name2017 IEEE International Test Conference (ITC)
Date Publishedoct
Keywordsautomatic test pattern generation, Benchmark testing, composability, cyber physical systems, Hardware, Hardware Trojan detection framework, industrial property, information flow security verification, intellectual property, invasive software, IP networks, Payloads, pubcrawl, resilience, Resiliency, security, time-to-market constraints, trojan horse detection, Trojan horses, trust-hub benchmarks, Trusted Computing, untrusted vendors

Semiconductor design houses are increasingly becoming dependent on third party vendors to procure intellectual property (IP) and meet time-to-market constraints. However, these third party IPs cannot be trusted as hardware Trojans can be maliciously inserted into them by untrusted vendors. While different approaches have been proposed to detect Trojans in third party IPs, their limitations have not been extensively studied. In this paper, we analyze the limitations of the state-of-the-art Trojan detection techniques and demonstrate with experimental results how to defeat these detection mechanisms. We then propose a Trojan detection framework based on information flow security (IFS) verification. Our framework detects violation of IFS policies caused by Trojans without the need of white-box knowledge of the IP. We experimentally validate the efficacy of our proposed technique by accurately identifying Trojans in the trust-hub benchmarks. We also demonstrate that our technique does not share the limitations of the previously proposed Trojan detection techniques.

Citation Keynahiyan_hardware_2017