International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

CAS-Lock: A Security-Corruptibility Trade-off Resilient Logic Locking Scheme

Authors:
Bicky Shakya , ECE Department, University of Florida
Xiaolin Xu , ECE Department, University of Illinois at Chicago
Mark Tehranipoor , ECE Department, University of Florida
Domenic Forte , ECE Department, University of Florida
Download:
DOI: 10.13154/tches.v2020.i1.175-202
URL: https://tches.iacr.org/index.php/TCHES/article/view/8397
Search ePrint
Search Google
Abstract: Logic locking has recently been proposed as a solution for protecting gatelevel semiconductor intellectual property (IP). However, numerous attacks have been mounted on this technique, which either compromise the locking key or restore the original circuit functionality. SAT attacks leverage golden IC information to rule out all incorrect key classes, while bypass and removal attacks exploit the limited output corruptibility and/or structural traces of SAT-resistant locking schemes. In this paper, we propose a new lightweight locking technique: CAS-Lock (cascaded locking) which nullifies both SAT and bypass attacks, while simultaneously maintaining nontrivial output corruptibility. This property of CAS-Lock is in stark contrast to the well-accepted notion that there is an inherent trade-off between output corruptibility and SAT resistance. We theoretically and experimentally validate the SAT resistance of CAS-Lock, and show that it reduces the attack to brute-force, regardless of its construction. Further, we evaluate its resistance to recently proposed approximate SAT attacks (i.e., AppSAT). We also propose a modified version of CAS-Lock (mirrored CAS-Lock or M-CAS) to protect against removal attacks. M-CAS allows a trade-off evaluation between removal attack and SAT attack resiliency, while incurring minimal area overhead. We also show how M-CAS parameters such as the implemented Boolean function and selected key can be tuned by the designer so that a desired level of protection against all known attacks can be achieved.
Video from TCHES 2019
BibTeX
@article{tches-2019-29959,
  title={CAS-Lock: A Security-Corruptibility Trade-off Resilient Logic Locking Scheme},
  journal={IACR Transactions on Cryptographic Hardware and Embedded Systems},
  publisher={Ruhr-Universität Bochum},
  volume={2020, Issue 1},
  pages={175-202},
  url={https://tches.iacr.org/index.php/TCHES/article/view/8397},
  doi={10.13154/tches.v2020.i1.175-202},
  author={Bicky Shakya and Xiaolin Xu and Mark Tehranipoor and Domenic Forte},
  year=2019
}