Abstract:Intellectual property (IP) protection is one of the hardcore problems in hardware security. Semiconductor industry still lacks effective and proactive defense to shield IPs from reverse engineering (RE) based attacks. Integrated circuit (IC) camouflaging technique fills this gap by replacing some conventional logic gates in the IPs with specially designed logic cells (called camouflaged gates) without changing the functions of the IPs. The camouflaged gates can perform different logic functions while maintaining an identical look to RE attackers, thus preventing them from obtaining the layout information of the IP directly from RE tools. Since it was first proposed in 2012, circuit camouflaging has become one of the hottest research topics in hardware security focusing on two fundamental problems. How to choose the types of camouflaged gates and decide where to insert them in order to simultaneously minimize the performance overhead and optimize the RE complexity? How can an attacker de-camouflage a camouflaged circuit and complete the RE attack? In this article, we review the evolution of circuit camouflaging through this spear and shield race. First, we introduce the design methods of four different kinds of camouflaged cells based on true/dummy contacts, static random access memory (SRAM), doping, and emerging devices, respectively. Then we elaborate four representative de-camouflaging attacks: brute force attack, IC testing based attack, satisfiability-based (SAT-based) attack, and the circuit partition based attack, and the corresponding countermeasures: clique-based camouflaging, CamoPerturb, AND-tree camouflaging, and equivalent class based camouflaging, respectively. We argue that the current research efforts should be on reducing overhead introduced by circuit camouflaging and defeating de-camouflaging attacks. We point out that exploring features of emerging devices could be a promising direction. Finally, as a complement to circuit camouflaging, we conclude with a brief review of other state-of-the-art IP protection techniques.

A Conflict-Free Approach for Parallelizing SAT-based De-Camouflaging Attacks

Parallelizing SAT-based De-Camouflaging Attacks by Circuit Partitioning and Conflict Avoiding

A Secure Scan Method for Crypto Chips

Provably Secure Camouflaging Strategy for IC Protection

TimingSAT: Decamouflaging Timing-based Logic Obfuscation

An Empirical Study on Gate Camouflaging Methods Against Circuit Partition Attack.

KC2: Key-Condition Crunching for Fast Sequential Circuit Deobfuscation

Reverse Engineering Camouflaged Sequential Integrated Circuits Without Scan Access

An Efficient Technique to Reverse Engineer Minterm Protection Based Camouflaged Circuit

Is The Secure Ic Camouflaging Really Secure?

Appsat: Approximately Deobfuscating Integrated Circuits

Source-code-level Transformation and APT-Driven Parallelism Pre-processes for Embedded System Automated Design

SAT based error tolerant algebraic side channel attacks

Spear and Shield: Evolution of Integrated Circuit Camouflaging

Cyclic Obfuscation for Creating SAT-Unresolvable Circuits.

SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks

On the Approximation Resiliency of Logic Locking and IC Camouflaging Schemes.

Reverse engineering attack on minterm-camouflaged circuit

Toward a Formal and Quantitative Evaluation Framework for Circuit Obfuscation Methods

ScanSAT: Unlocking Static and Dynamic Scan Obfuscation

SMPP: Generic SAT Solver over Reconfigurable Hardware Accelerator