English
Related papers

Related papers: InterLock: An Intercorrelated Logic and Routing Lo…

200 papers

While financially advantageous, outsourcing key steps, such as testing, to potentially untrusted Outsourced Assembly and Test (OSAT) companies may pose a risk of compromising on-chip assets. Obfuscation of scan chains is a technique that…

Cryptography and Security · Computer Science 2019-09-11 Lilas Alrahis , Muhammad Yasin , Nimisha Limaye , Hani Saleh , Baker Mohammad , Mahmoud Al-Qutayri , Ozgur Sinanoglu

Logic Obfuscation is a well renowned design-for-trust solution to protect an Integrated Circuit (IC) from unauthorized use and illegal overproduction by including key-gates to lock the design. This is particularly necessary for ICs…

Cryptography and Security · Computer Science 2024-04-12 Haimanti Chakraborty , Ranga Vemuri

Logic locking is a method to prevent intellectual property (IP) piracy. However, under a reasonable attack model, SAT-based methods have proven to be powerful in obtaining the secret key. In response, many locking techniques have been…

Cryptography and Security · Computer Science 2020-09-23 Joseph Sweeney , Marijn J. H. Heule , 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 protect the intellectual property (IP) of integrated circuit (IC) designs throughout the globalized supply chain. The SAIL attack, based on tailored machine learning (ML) models, circumvents combinational logic locking…

Cryptography and Security · Computer Science 2021-02-11 Lilas Alrahis , Satwik Patnaik , Johann Knechtel , Hani Saleh , Baker Mohammad , Mahmoud Al-Qutayri , Ozgur Sinanoglu

The Circuit Satisfiability (CSAT) problem, a variant of the Boolean Satisfiability (SAT) problem, plays a critical role in integrated circuit design and verification. However, existing SAT solvers, optimized for Conjunctive Normal Form…

Logic in Computer Science · Computer Science 2025-07-03 Zhengyuan Shi , Tiebing Tang , Jiaying Zhu , Sadaf Khan , Hui-Ling Zhen , Mingxuan Yuan , Zhufei Chu , Qiang Xu

Circuit obfuscation is a recently proposed defense mechanism to protect digital integrated circuits (ICs) from reverse engineering by using camouflaged gates i.e., logic gates whose functionality cannot be precisely determined by the…

Cryptography and Security · Computer Science 2020-03-24 Zhiqian Chen , Gaurav Kolhe , Setareh Rafatirad , Sai Manoj P. D. , Houman Homayoun , Liang Zhao , Chang-Tien Lu

Obfuscation is a technique for protecting hardware intellectual property (IP) blocks against reverse engineering, piracy, and malicious modifications. Current obfuscation efforts mainly focus on functional locking of a design to prevent…

Cryptography and Security · Computer Science 2018-10-01 Prabuddha Chakraborty , Jonathan Cruz , Swarup Bhunia

Camouflaging gate techniques are typically used in hardware security to prevent reverse engineering. Layout level camouflaging by adding dummy contacts ensures some level of protection against extracting the correct netlist. Threshold…

Layout camouflaging (LC) is a promising technique to protect chip design intellectual property (IP) from reverse engineers. Most prior art, however, cannot leverage the full potential of LC due to excessive overheads and/or their limited…

Cryptography and Security · Computer Science 2017-12-21 Satwik Patnaik , Mohammed Ashraf , Johann Knechtel , Ozgur Sinanoglu

Logic locking is a prominent technique to protect the integrity of hardware designs throughout the integrated circuit design and fabrication flow. However, in recent years, the security of locking schemes has been thoroughly challenged by…

Cryptography and Security · Computer Science 2021-05-20 Dominik Sisejkovic , Farhad Merchant , Lennart M. Reimann , Harshit Srivastava , Ahmed Hallawa , Rainer Leupers

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

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

Gate camouflaging is a known security enhancement technique that tries to thwart reverse engineering by hiding the functions of gates or the connections between them. A number of works on SAT-based attacks have shown that it is often…

Cryptography and Security · Computer Science 2018-02-27 Shahrzad Keshavarz , Falk Schellenberg , Bastian Richter , Christof Paar , Daniel Holcomb

Outsourcing in semiconductor industry opened up venues for faster and cost-effective chip manufacturing. However, this also introduced untrusted entities with malicious intent, to steal intellectual property (IP), overproduce the circuits,…

Cryptography and Security · Computer Science 2020-01-22 Nimisha Limaye , Ozgur Sinanoglu

Logic locking has emerged to prevent piracy and overproduction of integrated circuits ever since the split of the design house and manufacturing foundry was established. While there has been a lot of research using a single global key to…

Cryptography and Security · Computer Science 2025-01-07 Kevin Lopez , Amin Rezaei

Intellectual property (IP) piracy has become a non-negligible problem as the integrated circuit (IC) production supply chain is becoming increasingly globalized and separated that enables attacks by potentially untrusted attackers. Logic…

Numerous threats are associated with the globalized integrated circuit (IC) supply chain, such as piracy, reverse engineering, overproduction, and malicious logic insertion. Many obfuscation approaches have been proposed to mitigate these…

Cryptography and Security · Computer Science 2022-07-13 Zain UlAbideen , Tiago Diadami Perez , Mayler Martins , Samuel Pagliarini

Most quantum circuits require SWAP gate insertion to run on quantum hardware with limited qubit connectivity. A promising SWAP gate insertion method for blocks of commuting two-qubit gates is a predetermined swap strategy which applies…

Quantum Physics · Physics 2023-08-01 Atsushi Matsuo , Shigeru Yamashita , Daniel J. Egger

The outsourcing of the design and manufacturing of integrated circuits has raised severe concerns about the piracy of Intellectual Properties and illegal overproduction. Logic locking has emerged as an obfuscation technique to protect…

Cryptography and Security · Computer Science 2022-10-14 Yadi Zhong , Ayush Jain , M. Tanjidur Rahman , Navid Asadizanjani , Jiafeng Xie , Ujjwal Guin