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

04/30/2018
by   Hadi Mardani Kamali, et al.
0

In this work, we propose LUT-Lock, a novel Look-Up-Table-based netlist obfuscation algorithm, for protecting the intellectual property that is mapped to an FPGA bitstream or an ASIC netlist. We, first, illustrate the effectiveness of several key features that make the LUT-based obfuscation more resilient against SAT attacks and then we embed the proposed key features into our proposed LUT-Lock algorithm. We illustrates that LUT-Lock maximizes the resiliency of the LUT-based obfuscation against SAT attacks by forcing a near exponential increase in the execution time of a SAT solver with respect to the number of obfuscated gates. Hence, by adopting LUT-Lock algorithm, SAT attack execution time could be made unreasonably long by increasing the number of utilized LUTs.

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
01/16/2022

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

Sequential logic locking has been studied over the last decade as a meth...
research
10/26/2019

Generalized SAT-Attack-Resistant Logic Locking

Logic locking is used to protect integrated circuits (ICs) from piracy a...
research
04/24/2018

SRCLock: SAT-Resistant Cyclic Logic Locking for Protecting the Hardware

In this paper, we claim that cyclic obfuscation, when properly implement...
research
09/04/2020

InterLock: An Intercorrelated Logic and Routing Locking

In this paper, we propose a canonical prune-and-SAT (CP SAT) attack fo...
research
05/04/2020

Determining the Multiplicative Complexity of Boolean Functions using SAT

We present a constructive SAT-based algorithm to determine the multiplic...
research
03/27/2023

On CNF Conversion for SAT Enumeration

Modern SAT solvers are designed to handle problems expressed in Conjunct...

Please sign up or login with your details

Forgot password? Click here to reset