LOOPLock: Logic Optimization-Based Cyclic Logic Locking

SAT Attack, CycSAT, and Removal Attack have demonstrated their abilities to break most existing logic locking methods. In this article, we propose a new cyclic logic locking method to invalidate these attacks simultaneously. Our main intention is to create noncombinational cycles to lock a circuit....

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE transactions on computer-aided design of integrated circuits and systems 2020-10, Vol.39 (10), p.2178-2191
Hauptverfasser:	Chiang, Hsiao-Yu, Chen, Yung-Chih, Ji, De-Xuan, Yang, Xiang-Min, Lin, Chia-Chun, Wang, Chun-Yao
Format:	Artikel
Sprache:	eng
Schlagworte:	Circuits Cyclic logic locking CycSAT Delays Electronics packaging hardware security Integrated circuits Inverters Locking Logic Logic gates logic optimization Optimization SAT Attack Security
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!