Advances in logic locking: Past, present, and prospects

HM Kamali, KZ Azar, F Farahmandi… - Cryptology ePrint …, 2022 - eprint.iacr.org
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 …

An overview of hardware security and trust: Threats, countermeasures, and design tools

W Hu, CH Chang, A Sengupta, S Bhunia… - … on Computer-Aided …, 2020 - ieeexplore.ieee.org
Hardware security and trust have become a pressing issue during the last two decades due
to the globalization of the semiconductor supply chain and ubiquitous network connection of …

Provably-secure logic locking: From theory to practice

M Yasin, A Sengupta, MT Nabeel, M Ashraf… - Proceedings of the …, 2017 - dl.acm.org
Logic locking has been conceived as a promising proactive defense strategy against
intellectual property (IP) piracy, counterfeiting, hardware Trojans, reverse engineering, and …

Removal attacks on logic locking and camouflaging techniques

M Yasin, B Mazumdar, O Sinanoglu… - IEEE Transactions on …, 2017 - ieeexplore.ieee.org
With the adoption of a globalized and distributed IC design flow, IP piracy, reverse
engineering, and counterfeiting threats are becoming more prevalent. Logic obfuscation …

Mitigating SAT attack on logic locking

Y Xie, A Srivastava - … Hardware and Embedded Systems–CHES 2016 …, 2016 - Springer
Logic locking is a technique that has been proposed to protect outsourced IC designs from
piracy and counterfeiting by untrusted foundries. A locked IC preserves the correct …

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 …

Novel bypass attack and BDD-based tradeoff analysis against all known logic locking attacks

X Xu, B Shakya, MM Tehranipoor, D Forte - Cryptographic Hardware and …, 2017 - Springer
Logic locking has emerged as a promising technique for protecting gate-level
semiconductor intellectual property. However, recent work has shown that such gate-level …

SAIL: Machine learning guided structural analysis attack on hardware obfuscation

P Chakraborty, J Cruz, S Bhunia - 2018 Asian Hardware …, 2018 - ieeexplore.ieee.org
Obfuscation is a technique for protecting hardware intellectual property (IP) blocks against
reverse engineering, piracy, and malicious modifications. Current obfuscation efforts mainly …

Security analysis of anti-sat

M Yasin, B Mazumdar, O Sinanoglu… - 2017 22nd Asia and …, 2017 - ieeexplore.ieee.org
Logic encryption protects integrated circuits (ICs) against intellectual property (IP) piracy and
overbuilding attacks by encrypting the IC with a key. A Boolean satisfiability (SAT) based …

Keynote: A disquisition on logic locking

A Chakraborty, NG Jayasankaran, Y Liu… - … on Computer-Aided …, 2019 - ieeexplore.ieee.org
The fabless business model has given rise to many security threats, including piracy of
intellectual property (IP), overproduction, counterfeiting, reverse engineering (RE), and …