· 2016
SARLock: SAT attack resistant logic locking
- 404citations
- 2016year
Short summary
SARLock is a new logic locking technique that makes SAT-based attacks exponentially harder by maximizing the number of distinguishing input patterns needed to recover the secret key.
AI-generated from the title and abstract; the full text is not read.
Key points
- SARLock is a novel logic locking technique designed to resist SAT-based attacks.
- It maximizes the number of distinguishing input patterns needed to recover the secret key.
- This renders SAT attacks exponential in the secret key size, unlike previous methods.
- SARLock's overhead grows only linearly with the key size.
AI-generated from the title and abstract; the full text is not read.
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.
The authors' abstract, as published at the source., 2016 · DOI ↗
Continue with a free account
Ask the paper: 3 free questions a day about this paper; save it, get its citation, new summaries every day for your field. Takeaways are Premium.
Continue free on the webSign in with Google or Apple; no card needed. You come back to this paper.
On your phone:
Field: Hardware and Architecture
Hardware and ArchitectureComputer Science