Abstract:Reverse engineering (RE) is one of the major security threats to the semiconductor industry due to the involvement of untrustworthy parties in an increasingly globalized chip manufacturing supply chain. RE efforts have already been successful in extracting device level functionalities from an integrated circuit (IC) with very limited resources. Camouflaging is an obfuscation method that can thwart such RE. Existing work on IC camouflaging primarily involves transformable interconnects and/or covert gates where variation in doping and dummy contacts hide the circuit structure or build cells that look alike but have different functionalities. Emerging solutions, such as polymorphic gates based on a giant spin Hall effect and Si nanowire field effect transistors (FETs), are also promising but add significant area overhead and are successfully decamouflaged by the satisfiability solver (SAT)-based RE techniques. Here, we harness the properties of two-dimensional (2D) transition-metal dichalcogenides (TMDs) including MoS2, MoSe2, MoTe2, WS2, and WSe2 and their optically transparent transition-metal oxides (TMOs) to demonstrate area efficient camouflaging solutions that are resilient to SAT attack and automatic test pattern generation attacks. We show that resistors with resistance values differing by 5 orders of magnitude, diodes with variable turn-on voltages and reverse saturation currents, and FETs with adjustable conduction type, threshold voltages, and switching characteristics can be optically camouflaged to look exactly similar by engineering TMO/TMD heterostructures, allowing hardware obfuscation of both digital and analog circuits. Since this 2D heterostructure devices family is intrinsically camouflaged, NAND/NOR/AND/OR gates in the circuit can be obfuscated with significantly less area overhead, allowing 100% logic obfuscation compared to only 5% for complementary metal oxide semiconductor (CMOS)-based camouflaging. Finally, we demonstrate that the largest benchmarking circuit from ISCAS'85, comprised of more than 4000 logic gates when obfuscated with the CMOS-based technique, is successfully decamouflaged by SAT attack in <40 min; whereas, it renders to be invulnerable even in more than 10 h when camouflaged with 2D heterostructure devices, thereby corroborating our hypothesis of high resilience against RE. Our approach of connecting material properties to innovative devices to secure circuits can be considered as a one of a kind demonstration, highlighting the benefits of cross-layer optimization.

Cyclic Obfuscation for Creating SAT-Unresolvable Circuits.

CycSAT: SAT-based attack on cyclic logic encryptions

TimingSAT: Decamouflaging Timing-based Logic Obfuscation

Removal of SAT-Hard Instances in Logic Obfuscation Through Inference of Functionality

Anti-SAT: Mitigating SAT Attack on Logic Locking

Circuit Obfuscation and Oracle-Guided Attacks: Who Can Prevail?

KC2: Key-Condition Crunching for Fast Sequential Circuit Deobfuscation

CAC 2.0: A Corrupt and Correct Logic Locking Technique Resilient to Structural Analysis Attacks

Appsat: Approximately Deobfuscating Integrated Circuits

Exploiting Spin-Orbit Torque Devices As Reconfigurable Logic for Circuit Obfuscation

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

Toward a Formal and Quantitative Evaluation Framework for Circuit Obfuscation Methods

Secure and Low-Overhead Circuit Obfuscation Technique with Multiplexers

Is The Secure Ic Camouflaging Really Secure?

TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks

Satisfiability Attack-Resistant Camouflaged Two-Dimensional Heterostructure Devices

Security Closure of IC Layouts Against Hardware Trojans

UNTANGLE: Unlocking Routing and Logic Obfuscation Using Graph Neural Networks-based Link Prediction

Cross-Lock

Generalized SAT-Attack-Resistant Logic Locking

IP Protection and Supply Chain Security through Logic Obfuscation