Complexity Analysis of the SAT Attack on Logic Locking

Due to the adoption of horizontal business models following the globalization of semiconductor manufacturing, the overproduction of integrated circuits (ICs) and the piracy of intellectual properties (IPs) can lead to significant damage to the integrity of the semiconductor supply chain. Logic locki...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on computer-aided design of integrated circuits and systems Vol. 42; no. 10; p. 1
Main Authors:	Zhong, Yadi, Guin, Ujjwal
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.10.2023 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Boolean satisfiability (SAT) Canonical forms Complexity Complexity theory conjunctive normal form (CNF) Electronics packaging Foundries Globalization IC overproduction Industries Integrated circuit modeling Integrated circuits Intellectual property IP piracy Iterative methods Keys Locking Logic gates Logic locking Resilience reverse engineering Solvers Supply chains
ISSN:	0278-0070, 1937-4151
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!