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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	IEEE transactions on computer-aided design of integrated circuits and systems Ročník 42; číslo 10; s. 1
Hlavní autori:	Zhong, Yadi, Guin, Ujjwal
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.10.2023 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!