SARLock: SAT Attack Resistant Logic Locking Conference Paper uri icon

abstract

  • 2016 IEEE. Logic locking is an Intellectual Property (IP) protection technique that thwarts IP piracy, hardware Trojans, reverse engineering, and IC overproduction. Researchers have taken multiple attempts in breaking logic locking techniques and recovering its secret key. A Boolean Satisfiability (SAT) based attack has been recently presented that breaks all the existing combinational logic locking techniques. In this paper, we develop a lightweight countermeasure against this and other attacks that aim at gradually pruning the key search space. Our proposed logic locking technique, referred to as SARLock, maximizes the required number of distinguishing input patterns to recover the secret key. SARLock thwarts the SAT attack by rendering the attack effort exponential in the number of bits in the secret key, while its overhead grows only linearly.

name of conference

  • 2016 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)

published proceedings

  • 2016 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)

altmetric score

  • 3

author list (cited authors)

  • Yasin, M., Mazumdar, B., Rajendran, J., & Sinanoglu, O.

citation count

  • 223

complete list of authors

  • Yasin, Muhammad||Mazumdar, Bodhisatwa||Rajendran, Jeyavijayan||Sinanoglu, Ozgur

publication date

  • January 2016