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

01/16/2022
by   Yuke Zhang, et al.
0

Sequential logic locking has been studied over the last decade as a method to protect sequential circuits from reverse engineering. However, most of the existing sequential logic locking techniques are threatened by increasingly more sophisticated SAT-based attacks, efficiently using input queries to a SAT solver to rule out incorrect keys, as well as removal attacks based on structural analysis. In this paper, we propose TriLock, a sequential logic locking method that simultaneously addresses these vulnerabilities. TriLock can achieve high, tunable functional corruptibility while still guaranteeing exponential queries to the SAT solver in a SAT-based attack. Further, it adopts a state re-encoding method to obscure the boundary between the original state registers and those inserted by the locking method, thus making it more difficult to detect and remove the locking-related components.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/07/2021

Robust and Attack Resilient Logic Locking with a High Application-Level Impact

Logic locking is a hardware security technique to intellectual property ...
research
08/10/2021

Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption

The SAT attack has shown to be efficient against most combinational logi...
research
10/26/2019

Generalized SAT-Attack-Resistant Logic Locking

Logic locking is used to protect integrated circuits (ICs) from piracy a...
research
07/05/2022

Complexity Analysis of the SAT Attack on Logic Locking

Due to the adoption of horizontal business models following the globaliz...
research
04/30/2018

LUT-Lock: A Novel LUT-based Logic Obfuscation for FPGA-Bitstream and ASIC-Hardware Protection

In this work, we propose LUT-Lock, a novel Look-Up-Table-based netlist o...
research
06/03/2018

Advancing Hardware Security Using Polymorphic and Stochastic Spin-Hall Effect Devices

Protecting intellectual property (IP) in electronic circuits has become ...
research
09/04/2020

NNgSAT: Neural Network guided SAT Attack on Logic Locked Complex Structures

The globalization of the IC supply chain has raised many security threat...

Please sign up or login with your details

Forgot password? Click here to reset