SARLock: SAT attack resistant logic locking

Muhammad Yasin, Bodhisatwa Mazumdar, Jeyavijayan J.V. Rajendran, Ozgur Sinanoglu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 2016 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages236-241
Number of pages6
ISBN (Electronic)9781467388252
DOIs
StatePublished - Jun 20 2016
Event2016 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2016 - McLean, United States
Duration: May 3 2016May 5 2016

Other

Other2016 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2016
CountryUnited States
CityMcLean
Period5/3/165/5/16

Fingerprint

Intellectual property
Reverse engineering
Hardware

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture
  • Safety, Risk, Reliability and Quality

Cite this

Yasin, M., Mazumdar, B., Rajendran, J. J. V., & Sinanoglu, O. (2016). SARLock: SAT attack resistant logic locking. In Proceedings of the 2016 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2016 (pp. 236-241). [7495588] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/HST.2016.7495588

SARLock : SAT attack resistant logic locking. / Yasin, Muhammad; Mazumdar, Bodhisatwa; Rajendran, Jeyavijayan J.V.; Sinanoglu, Ozgur.

Proceedings of the 2016 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2016. Institute of Electrical and Electronics Engineers Inc., 2016. p. 236-241 7495588.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Yasin, M, Mazumdar, B, Rajendran, JJV & Sinanoglu, O 2016, SARLock: SAT attack resistant logic locking. in Proceedings of the 2016 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2016., 7495588, Institute of Electrical and Electronics Engineers Inc., pp. 236-241, 2016 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2016, McLean, United States, 5/3/16. https://doi.org/10.1109/HST.2016.7495588
Yasin M, Mazumdar B, Rajendran JJV, Sinanoglu O. SARLock: SAT attack resistant logic locking. In Proceedings of the 2016 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2016. Institute of Electrical and Electronics Engineers Inc. 2016. p. 236-241. 7495588 https://doi.org/10.1109/HST.2016.7495588
Yasin, Muhammad ; Mazumdar, Bodhisatwa ; Rajendran, Jeyavijayan J.V. ; Sinanoglu, Ozgur. / SARLock : SAT attack resistant logic locking. Proceedings of the 2016 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2016. Institute of Electrical and Electronics Engineers Inc., 2016. pp. 236-241
@inproceedings{b401393377f34eeeb99ea49fc4cf842b,
title = "SARLock: SAT attack resistant logic locking",
abstract = "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.",
author = "Muhammad Yasin and Bodhisatwa Mazumdar and Rajendran, {Jeyavijayan J.V.} and Ozgur Sinanoglu",
year = "2016",
month = "6",
day = "20",
doi = "10.1109/HST.2016.7495588",
language = "English (US)",
pages = "236--241",
booktitle = "Proceedings of the 2016 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - SARLock

T2 - SAT attack resistant logic locking

AU - Yasin, Muhammad

AU - Mazumdar, Bodhisatwa

AU - Rajendran, Jeyavijayan J.V.

AU - Sinanoglu, Ozgur

PY - 2016/6/20

Y1 - 2016/6/20

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84979530072&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84979530072&partnerID=8YFLogxK

U2 - 10.1109/HST.2016.7495588

DO - 10.1109/HST.2016.7495588

M3 - Conference contribution

SP - 236

EP - 241

BT - Proceedings of the 2016 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2016

PB - Institute of Electrical and Electronics Engineers Inc.

ER -