A Look at the Dark Side of Hardware Reverse Engineering -- A Case Study
This addresses security vulnerabilities in hardware design for IC production and FPGA users, though it appears incremental as it builds on existing techniques.
The paper tackles the threat of hardware IP infringement and Trojan injection in untrusted foundries and FPGAs by reviewing and improving an IP watermarking scheme with opaque predicates, while also demonstrating novel reverse engineering strategies to detect and alter watermarks, and showing automatic injection of hardware Trojans into cryptographic IP.
A massive threat to the modern and complex IC production chain is the use of untrusted off-shore foundries which are able to infringe valuable hardware design IP or to inject hardware Trojans causing severe loss of safety and security. Similarly, market dominating SRAM-based FPGAs are vulnerable to both attacks since the crucial gate-level netlist can be retrieved even in field for the majority of deployed device series. In order to perform IP infringement or Trojan injection, reverse engineering (parts of) the hardware design is necessary to understand its internal workings. Even though IP protection and obfuscation techniques exist to hinder both attacks, the security of most techniques is doubtful since realistic capabilities of reverse engineering are often neglected. The contribution of our work is twofold: first, we carefully review an IP watermarking scheme tailored to FPGAs and improve its security by using opaque predicates. In addition, we show novel reverse engineering strategies on proposed opaque predicate implementations that again enables to automatically detect and alter watermarks. Second, we demonstrate automatic injection of hardware Trojans specifically tailored for third-party cryptographic IP gate-level netlists. More precisely, we extend our understanding of adversary's capabilities by presenting how block and stream cipher implementations can be surreptitiously weakened.