English
Related papers

Related papers: Modeling Techniques for Logic Locking

200 papers

Logic locking secures hardware designs in untrusted foundries by incorporating key-driven gates to obscure the original blueprint. While this method safeguards the integrated circuit from malicious alterations during fabrication, its…

Cryptography and Security · Computer Science 2025-02-13 Lennart M. Reimann , Evgenii Rezunov , Dominik Germek , Luca Collini , Christian Pilato , Ramesh Karri , Rainer Leupers

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

Research in logic encryption over the last decade has resulted in various techniques to prevent different security threats such as Trojan insertion, intellectual property leakage, and reverse engineering. However, there is little agreement…

Cryptography and Security · Computer Science 2020-07-31 Yinghua Hu , Vivek V. Menon , Andrew Schmidt , Joshua Monson , Matthew French , Pierluigi Nuzzo

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

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

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

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

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

Integrated circuits (ICs) are the foundation of all computing systems. They comprise high-value hardware intellectual property (IP) that are at risk of piracy, reverse-engineering, and modifications while making their way through the…

Logic locking has been proposed to safeguard intellectual property (IP) during chip fabrication. Logic locking techniques protect hardware IP by making a subset of combinational modules in a design dependent on a secret key that is withheld…

Cryptography and Security · Computer Science 2023-04-18 Hongye Xu , Dongfang Liu , Cory Merkel , Michael Zuzak

Existing logic-locking attacks are known to successfully decrypt functionally correct key of a locked combinational circuit. It is possible to extend these attacks to real-world Silicon-based Intellectual Properties (IPs, which are…

Cryptography and Security · Computer Science 2021-02-18 Seetal Potluri , Aydin Aysu , Akash Kumar

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

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…

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

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

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 remains one of the most promising defenses against hardware piracy, yet current approaches often face challenges in scalability and design overhead. In this paper, we present TLGLock, a new design paradigm that leverages the…

Cryptography and Security · Computer Science 2026-03-20 Abdullah Sahruri , Martin Margala

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 globalization of the IC supply chain has raised many security threats, especially when untrusted parties are involved. This has created a demand for a dependable logic obfuscation solution to combat these threats. Amongst a wide range…

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

State-of-the-art attacks against cyclic logic obfuscation use satisfiability solvers that are equipped with a set of cycle avoidance clauses. These cycle avoidance clauses are generated in a pre-processing step and define various key…

Cryptography and Security · Computer Science 2020-01-27 Shervin Roshanisefat , Hadi Mardani Kamali , Houman Homayoun , Avesta Sasan