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ženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on computer-aided design of integrated circuits and systems Ročník 42; číslo 10; s. 1
Hlavní autoři:	Zhong, Yadi, Guin, Ujjwal
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.10.2023 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!