English
Related papers

Related papers: Unraveling Latch Locking Using Machine Learning, B…

200 papers

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

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

In a zero-trust fabless paradigm, designers are increasingly concerned about hardware-based attacks on the semiconductor supply chain. Logic locking is a design-for-trust method that adds extra key-controlled gates in the circuits to…

Cryptography and Security · Computer Science 2024-02-07 Yeganeh Aghamohammadi , 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…

In this work, we propose LUT-Lock, a novel Look-Up-Table-based netlist obfuscation algorithm, for protecting the intellectual property that is mapped to an FPGA bitstream or an ASIC netlist. We, first, illustrate the effectiveness of…

Cryptography and Security · Computer Science 2018-05-11 Hadi Mardani Kamali , Kimia Zamiri Azar , Kris Gaj , Houman Homayoun , Avesta Sasan

Logic locking protects an IC from threats such as piracy of design IP and unauthorized overproduction throughout the IC supply chain. Out of the several techniques proposed by the research community, provably-secure logic locking (PSLL) has…

Cryptography and Security · Computer Science 2022-09-07 Satwik Patnaik , Nimisha Limaye , Ozgur Sinanoglu

Logic locking has been a promising solution to many hardware security threats, such as intellectual property infringement and overproduction. Due to the increased attention that threats have received, many efficient specialized attacks…

Cryptography and Security · Computer Science 2023-01-12 F. Almeida , L. Aksoy , Q-L. Nguyen , S. Dupuis , M-L. Flottes , S. Pagliarini

The globalization of integrated circuit (IC) design and manufacturing has increased the exposure of hardware intellectual property (IP) to untrusted stages of the supply chain, raising concerns about reverse engineering, piracy, tampering,…

The outsourcing of semiconductor manufacturing raises security risks, such as piracy and overproduction of hardware intellectual property. To overcome this challenge, logic locking has emerged to lock a given circuit using additional key…

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

Logic locking is a promising technique for protecting integrated circuit designs while outsourcing their fabrication. Recently, graph neural network (GNN)-based link prediction attacks have been developed which can successfully break all…

Cryptography and Security · Computer Science 2023-05-11 Subhajit Dutta Chowdhury , Kaixin Yang , Pierluigi Nuzzo

Chip designers outsource chip fabrication to external foundries, but at the risk of IP theft. Logic locking, a promising solution to mitigate this threat, adds extra logic gates (key gates) and inputs (key bits) to the chip so that it…

Cryptography and Security · Computer Science 2017-03-31 Mohamed El Massad , Jun Zhang , Siddharth Garg , Mahesh V. Tripunitara

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

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…

The SAT attack has shown to be efficient against most combinational logic encryption methods. It can be extended to attack sequential logic encryption techniques by leveraging circuit unrolling and model checking methods. However, with no…

Cryptography and Security · Computer Science 2022-02-18 Yinghua Hu , Yuke Zhang , Kaixin Yang , Dake Chen , Peter A. Beerel , Pierluigi Nuzzo

Logic locking has emerged as a promising solution for protecting the semiconductor intellectual Property (IP) from the untrusted entities in the design and fabrication process. Logic locking hides the functionality of the IP by embedding…

Batch prompting, which combines a batch of multiple queries sharing the same context in one inference, has emerged as a promising solution to reduce inference costs. However, our study reveals a significant security vulnerability in batch…

Cryptography and Security · Computer Science 2025-06-23 Murong Yue , Ziyu Yao

This is the first work augmenting hardware attacks mounted on obfuscated circuits by incorporating deep recurrent neural network (D-RNN). Logic encryption obfuscation has been used for thwarting counterfeiting, overproduction, and reverse…

Cryptography and Security · Computer Science 2018-03-12 Fatemeh Tehranipoor , Nima Karimian , Mehran Mozaffari Kermani , Hamid Mahmoodi

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

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-programmable routing blocks (keyRBs) based on an efficient…

Cryptography and Security · Computer Science 2020-09-07 Hadi Mardani Kamali , Kimia Zamiri Azar , Houman Homayoun , Avesta Sasan

Intellectual Property (IP) infringement including piracy and over production have emerged as significant threats in the semiconductor supply chain. Key based obfuscation techniques (i.e., logic locking) are widely applied to secure legacy…

Cryptography and Security · Computer Science 2020-01-07 Sheikh Ariful Islam , Love Kumar Sah , Srinivas Katkoori