English
Related papers

Related papers: Efficacy of Satisfiability Based Attacks in the Pr…

200 papers

Existing countermeasures for hardware IP protection, such as obfuscation, camouflaging, and redaction, aim to defend against confidentiality and integrity attacks. However, within the current threat model, these techniques overlook the…

Cryptography and Security · Computer Science 2025-01-22 Aritra Dasgupta , Sudipta Paria , Christopher Sozio , Andrew Lukefahr , Swarup Bhunia

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

A massive threat to the modern and complex IC production chain is the use of untrusted off-shore foundries which are able to infringe valuable hardware design IP or to inject hardware Trojans causing severe loss of safety and security.…

Cryptography and Security · Computer Science 2019-10-04 Sebastian Wallat , Marc Fyrbiak , Moritz Schlögel , Christof Paar

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

Semiconductor intellectual property (IP) theft incurs estimated annual losses ranging from $225 billion to $600 billion. Despite initiatives like the CHIPS Act, many semiconductor designs remain vulnerable to reverse engineering (RE). IP…

Cryptography and Security · Computer Science 2026-01-19 Junling Fan , George Rushevich , Giorgio Rusconi , Mengdi Zhu , Reiner Dizon-Paradis , Domenic Forte

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

Logic locking refers to a set of techniques that can protect integrated circuits (ICs) from counterfeiting, piracy and malicious functionality changes by an untrusted foundry. It achieves these goals by introducing new inputs, called key…

Cryptography and Security · Computer Science 2020-01-20 Deepak Sirone , Pramod Subramanyan

Software obfuscation plays a crucial role in protecting intellectual property in software from reverse engineering attempts. While some obfuscation techniques originate from the obfuscation-reverse engineering arms race, others stem from…

Cryptography and Security · Computer Science 2023-04-05 Giulio De Pasquale , Fukutomo Nakanishi , Daniele Ferla , Lorenzo Cavallaro

Logic locking proposed to protect integrated circuits from serious hardware threats has been studied extensively over a decade. In these years, many efficient logic locking techniques have been proven to be broken. The state-of-the-art…

Cryptography and Security · Computer Science 2024-01-17 Levent Aksoy , Muhammad Yasin , Samuel Pagliarini

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

Semiconductor intellectual property (IP) theft incurs hundreds of billions in annual losses, driven by advanced reverse engineering (RE) techniques. Traditional ``cryptic'' IC camouflaging methods typically focus on hiding localized gate…

Cryptography and Security · Computer Science 2026-03-30 Junling Fan , David Koblah , Domenic Forte

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…

Circuit obfuscation is a frequently used approach to conceal logic functionalities in order to prevent reverse engineering attacks on fabricated chips. Efficient obfuscation implementations are expected with lower design complexity and…

Emerging Technologies · Computer Science 2018-02-09 Jianlei Yang , Xueyan Wang , Qiang Zhou , Zhaohao Wang , Hai , Li , Yiran Chen , Weisheng Zhao

Semi-Private Function Evaluation (SPFE) enables joint computation while protecting both input data and the function itself. A practical instantiation is gate-hiding garbled circuits, which conceal gate functionalities while revealing…

Cryptography and Security · Computer Science 2026-05-05 Chao Yin , Zunchen Huang , Chenglu Jin , Marten van Dijk , Fabio Massacci

Universal Circuits (UCs) offer a promising approach to hardware Intellectual Property (IP) obfuscation, leveraging cryptographic principles to hide both structure and function in a programmable logic fabric. Their adaptability makes them…

Cryptography and Security · Computer Science 2026-04-07 Zain Ul Abideen , Deepali Garg , Lawrence Pileggi , Samuel Pagliarini

Numerous security threats are emerging from untrusted players in the integrated circuit (IC) ecosystem. Among them, reverse engineering practices with the intent to counterfeit, overproduce, or modify an IC are worrying. In recent years,…

Cryptography and Security · Computer Science 2022-06-27 Giorgi Basiashvili , Zain Ul Abideen , Samuel Pagliarini

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

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

Integrated circuit (IC) piracy and overproduction are serious issues that threaten the security and integrity of a system. Logic locking is a type of hardware obfuscation technique where additional key gates are inserted into the circuit.…

Cryptography and Security · Computer Science 2021-01-27 Michael Yue , Fatemeh Tehranipoor

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