Advances in logic locking: Past, present, and prospects
Logic locking is a design concealment mechanism for protecting the IPs integrated into
modern System-on-Chip (SoC) architectures from a wide range of hardware security threats …
modern System-on-Chip (SoC) architectures from a wide range of hardware security threats …
IP protection and supply chain security through logic obfuscation: A systematic overview
The globalization of the semiconductor supply chain introduces ever-increasing security and
privacy risks. Two major concerns are IP theft through reverse engineering and malicious …
privacy risks. Two major concerns are IP theft through reverse engineering and malicious …
Provably-secure logic locking: From theory to practice
Logic locking has been conceived as a promising proactive defense strategy against
intellectual property (IP) piracy, counterfeiting, hardware Trojans, reverse engineering, and …
intellectual property (IP) piracy, counterfeiting, hardware Trojans, reverse engineering, and …
AppSAT: Approximately deobfuscating integrated circuits
In today's diversified semiconductor supply-chain, protecting intellectual property (IP) and
maintaining manufacturing integrity are important concerns. Circuit obfuscation techniques …
maintaining manufacturing integrity are important concerns. Circuit obfuscation techniques …
Removal attacks on logic locking and camouflaging techniques
With the adoption of a globalized and distributed IC design flow, IP piracy, reverse
engineering, and counterfeiting threats are becoming more prevalent. Logic obfuscation …
engineering, and counterfeiting threats are becoming more prevalent. Logic obfuscation …
Anti-SAT: Mitigating SAT attack on logic locking
Y Xie, A Srivastava - … on Computer-Aided Design of Integrated …, 2018 - ieeexplore.ieee.org
Logic locking is a technique that is proposed to protect outsourced IC designs from piracy
and counterfeiting by untrusted foundries. A locked IC preserves the correct functionality …
and counterfeiting by untrusted foundries. A locked IC preserves the correct functionality …
SMT attack: Next generation attack on obfuscated circuits with capabilities and performance beyond the SAT attacks
In this paper, we introduce the Satisfiability Modulo Theory (SMT) attack on obfuscated
circuits. The proposed attack is the superset of Satisfiability (SAT) attack, with many …
circuits. The proposed attack is the superset of Satisfiability (SAT) attack, with many …
SAIL: Machine learning guided structural analysis attack on hardware obfuscation
Obfuscation is a technique for protecting hardware intellectual property (IP) blocks against
reverse engineering, piracy, and malicious modifications. Current obfuscation efforts mainly …
reverse engineering, piracy, and malicious modifications. Current obfuscation efforts mainly …
Cyclic obfuscation for creating SAT-unresolvable circuits
Logic locking and IC camouflaging are proactive circuit obfuscation methods that if proven
secure can thwart hardware attacks such as reverse engineering and IP theft. However, the …
secure can thwart hardware attacks such as reverse engineering and IP theft. However, the …
CycSAT: SAT-based attack on cyclic logic encryptions
Cyclic logic encryption is a newly proposed circuit obfuscation technique in hardware
security. It was claimed to be SAT-unresolvable because feedback cycles were intentionally …
security. It was claimed to be SAT-unresolvable because feedback cycles were intentionally …