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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on computer-aided design of integrated circuits and systems Jg. 42; H. 10; S. 1
Hauptverfasser:	Zhong, Yadi, Guin, Ujjwal
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.10.2023 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!