Loading [a11y]/accessibility-menu.js
LOOPLock: Logic Optimization-Based Cyclic Logic Locking | IEEE Journals & Magazine | IEEE Xplore

LOOPLock: Logic Optimization-Based Cyclic Logic Locking


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 lock...Show More

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.
Page(s): 2178 - 2191
Date of Publication: 17 December 2019

ISSN Information:

Funding Agency:


References

References is not available for this document.