Detecting malicious modifications of data in third-party intellectual property cores Conference Paper uri icon


  • 2015 ACM. Globalization of the system-on-chIP (SoC) design flow has created opportunities for rogue elements in the intellectual property (IP) vendor companies to insert malicious circuits (a.k.a. hardware Trojans) into their IPs. We propose to formally verify third party IPs (3PIPs) for unauthorized corruption of critical data such as secret key. Our approach develops properties to identify corruption of critical registers. Furthermore, we describe two attacks where computations can be performed on corrupted data without corrupting the critical register. We develop additional properties to detect such attacks. We validate our technique using Trojans in 8051 and RISC processors and AES designs from Trust-Hub.

name of conference

  • Proceedings of the 52nd Annual Design Automation Conference

published proceedings

  • Proceedings of the 52nd Annual Design Automation Conference

author list (cited authors)

  • Rajendran, J., Vedula, V., & Karri, R.

citation count

  • 69

complete list of authors

  • Rajendran, Jeyavijayan||Vedula, Vivekananda||Karri, Ramesh

publication date

  • January 2015