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 …

Logic locking/obfuscation has emerged as an auspicious solution for protecting the
semiconductor intellectual property (IP) from the untrusted entities in the design and …

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 …

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 …

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 …

The advancing of reverse engineering techniques has complicated the efforts in intellectual
property protection. Proactive methods have been developed recently, among which layout …

The fabless business model has given rise to many security threats, including piracy of
intellectual property (IP), overproduction, counterfeiting, reverse engineering (RE), and …

While logic locking is a promising defense to protect hardware designs, many attacks have
been shown to undermine its security by retrieving the secret key. All the powerful attacks …

In this paper, we propose a canonical prune-and-SAT (CP&SAT) attack for breaking state-of-
the-art routing-based obfuscation techniques. In the CP&SAT attack, we first encode the key …

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 …