English
Related papers

Related papers: Generalized SAT-Attack-Resistant Logic Locking

200 papers

Logic locking has become a promising approach to provide hardware security in the face of a possibly insecure fabrication supply chain. While many techniques have focused on locking combinational logic (CL), an alternative latch-locking…

Cryptography and Security · Computer Science 2023-05-02 Dake Chen , Xuan Zhou , Yinghua Hu , Yuke Zhang , Kaixin Yang , Andrew Rittenbach , Pierluigi Nuzzo , Peter A. Beerel

Logic locking "hides" the functionality of a digital circuit to protect it from counterfeiting, piracy, and malicious design modifications. The original design is transformed into a "locked" design such that the circuit reveals its correct…

Cryptography and Security · Computer Science 2022-01-26 Gourav Takhar , Ramesh Karri , Christian Pilato , Subhajit Roy

We propose SANSCrypt, a novel sequential logic encryption scheme to protect integrated circuits against reverse engineering. Previous sequential encryption methods focus on modifying the circuit state machine such that the correct…

Cryptography and Security · Computer Science 2021-02-12 Yinghua Hu , Kaixin Yang , Shahin Nazarian , Pierluigi Nuzzo

The security of logic locking has been called into question by various attacks, especially a Boolean satisfiability (SAT) based attack, that exploits scan access in a working chip. Among other techniques, a robust design-for-security (DFS)…

Cryptography and Security · Computer Science 2019-06-20 Nimisha Limaye , Abhrajit Sengupta , Mohammed Nabeel , Ozgur Sinanoglu

The outsourcing of the design and manufacturing of integrated circuits (ICs) in the current horizontal semiconductor integration flow has posed various security threats due to the presence of untrusted entities, such as overproduction of…

Cryptography and Security · Computer Science 2020-10-12 Yuqiao Zhang , Ayush Jain , Pinchen Cui , Ziqi Zhou , Ujjwal Guin

Logic obfuscation is introduced as a pivotal defense against multiple hardware threats on Integrated Circuits (ICs), including reverse engineering (RE) and intellectual property (IP) theft. The effectiveness of logic obfuscation is…

Cryptography and Security · Computer Science 2022-09-14 Rakibul Hassan , Gaurav Kolhe , Setareh Rafatirad , Houman Homayoun , Sai Manoj Pudukotai Dinakarrao

The outsourced manufacturing of integrated circuits has increased the risk of intellectual property theft. In response, logic locking techniques have been developed for protecting designs by adding programmable elements to the circuit.…

Cryptography and Security · Computer Science 2021-03-15 Joseph Sweeney , Deepali Garg , Lawrence Pileggi

Integrated circuit (IC) camouflaging is a promising technique to protect the design of a chip from reverse engineering. However, recent work has shown that even camouflaged ICs can be reverse engineered from the observed input/output…

Cryptography and Security · Computer Science 2017-10-31 Mohamed El Massad , Siddharth Garg , Mahesh Tripunitara

Logic locking aims to prevent intellectual property (IP) piracy and unauthorized overproduction of integrated circuits (ICs). However, initial logic locking techniques were vulnerable to the Boolean satisfiability (SAT)-based attacks. In…

Cryptography and Security · Computer Science 2021-11-16 Lilas Alrahis , Satwik Patnaik , Muhammad Abdullah Hanif , Muhammad Shafique , Ozgur Sinanoglu

Logic Locking is a well-accepted protection technique to enable trust in the outsourced design and fabrication processes of integrated circuits (ICs) where the original design is modified by incorporating additional key gates in the…

Cryptography and Security · Computer Science 2020-07-22 Ayush Jain , Tanjidur Rahman , Ujjwal Guin

The need for reducing manufacturing defect escape in today's safety-critical applications requires increased fault coverage. However, generating a test set using commercial automatic test pattern generation (ATPG) tools that lead to…

Cryptography and Security · Computer Science 2023-02-10 Yadi Zhong , Ujjwal Guin

The evaluation of logic locking methods has long been predicated on an implicit assumption that only the correct key can unveil the true functionality of a protected circuit. Consequently, a locking technique is deemed secure if it resists…

Cryptography and Security · Computer Science 2024-08-26 Yinghua Hu , Hari Cherupalli , Mike Borza , Deepak Sherlekar

Modern circuits face various threats like reverse engineering, theft of intellectual property (IP), side-channel attacks, etc. Here, we present a novel approach for IP protection based on logic encryption (LE). Unlike established schemes…

Due to the globalization of semiconductor manufacturing and test processes, the system-on-a-chip (SoC) designers no longer design the complete SoC and manufacture chips on their own. This outsourcing of the design and manufacturing of…

Cryptography and Security · Computer Science 2020-12-14 Ayush Jain , Ziqi Zhou , Ujjwal Guin

Hardware intellectual property (IP) theft is a major issue in today's globalized supply chain. To address it, numerous logic locking and obfuscation techniques have been proposed. While locking initially focused on digital integrated…

Cryptography and Security · Computer Science 2020-04-02 Rabin Yu Acharya , Sreeja Chowdhury , Fatemeh Ganji , Domenic Forte

Globalization of IC manufacturing has led to increased security concerns, notably IP theft. Several logic locking techniques have been developed for protecting designs, but they typically display very large overhead, and are generally…

Cryptography and Security · Computer Science 2020-05-22 Joseph Sweeney , Mohammed Zackriya , Samuel Pagliarini , Lawrence Pileggi

Logic locking (LL) has gained attention as a promising intellectual property protection measure for integrated circuits. However, recent attacks, facilitated by machine learning (ML), have shown the potential to predict the correct key in…

Cryptography and Security · Computer Science 2024-03-05 Yinghua Hu , Kaixin Yang , Subhajit Dutta Chowdhury , Pierluigi Nuzzo

Deep neural networks (DNNs) are utilized in numerous image processing, object detection, and video analysis tasks and need to be implemented using hardware accelerators to achieve practical speed. Logic locking is one of the most popular…

Cryptography and Security · Computer Science 2022-10-10 Jingbo Zhou , Xinmiao Zhang

Side-channel attacks are efficient attacks against cryptographic devices. They use only quantities observable from outside, such as the duration and the power consumption. Attacks against synchronous devices using electric observations are…

Cryptography and Security · Computer Science 2008-09-24 Philippe Hoogvorst , Sylvain Guilley , Sumanta Chaudhuri , Jean-Luc Danger , Taha Beyrouthy , Laurent Fesquet

Consumer and defense systems demanded design and manufacturing of electronics with increased performance, compared to their predecessors. As such systems became ubiquitous in a plethora of domains, their application surface increased, thus…

Cryptography and Security · Computer Science 2022-08-19 Abhijitt Dhavlle