Graphene and beyond: recent advances in two-dimensional materials synthesis, properties, and devices

Y Lei, T Zhang, YC Lin, T Granzier-Nakajima… - ACS Nanoscience …, 2022 - ACS Publications
Since the isolation of graphene in 2004, two-dimensional (2D) materials research has
rapidly evolved into an entire subdiscipline in the physical sciences with a wide range of …

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 …

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 …

AppSAT: Approximately deobfuscating integrated circuits

K Shamsi, M Li, T Meade, Z Zhao… - … on Hardware Oriented …, 2017 - ieeexplore.ieee.org
In today's diversified semiconductor supply-chain, protecting intellectual property (IP) and
maintaining manufacturing integrity are important concerns. Circuit obfuscation techniques …

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 …

Anti-SAT: Mitigating SAT attack on logic locking

Y **e, 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 …

SMT attack: Next generation attack on obfuscated circuits with capabilities and performance beyond the SAT attacks

KZ Azar, HM Kamali, H Homayoun… - IACR Transactions on …, 2019 - tches.iacr.org
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 obfuscation for creating SAT-unresolvable circuits

K Shamsi, M Li, T Meade, Z Zhao, DZ Pan… - Proceedings of the Great …, 2017 - dl.acm.org
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 …

Provably secure camouflaging strategy for IC protection

M Li, K Shamsi, T Meade, Z Zhao, B Yu… - IEEE transactions on …, 2017 - ieeexplore.ieee.org
The advancing of reverse engineering techniques has complicated the efforts in intellectual
property protection. Proactive methods have been developed recently, among which layout …

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 …