Back to Search
Start Over
LOOPLock: Logic Optimization-Based Cyclic Logic Locking.
- Source :
- IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Sep2020, Vol. 39 Issue 10, p2178-2191, 14p
- Publication Year :
- 2020
-
Abstract
- 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. Specifically, the noncombinational behavior in the noncombinational cycles that is unobservable at the primary outputs (POs) needs to be preserved when the correct key-vector is fed to resist CycSAT, and the noncombinational behavior in the noncombinational cycles affecting POs needs to be preserved when the incorrect key-vector is fed to invalidate SAT Attack. Furthermore, some nodes will be removed when applying our locking method, which is able to defend Removal Attack. The experimental results show the effectiveness and low area overhead of the proposed method. [ABSTRACT FROM AUTHOR]
- Subjects :
- LOGIC
LOGIC circuits
Subjects
Details
- Language :
- English
- ISSN :
- 02780070
- Volume :
- 39
- Issue :
- 10
- Database :
- Complementary Index
- Journal :
- IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems
- Publication Type :
- Academic Journal
- Accession number :
- 146080023
- Full Text :
- https://doi.org/10.1109/TCAD.2019.2960351