English
Related papers

Related papers: CAC 2.0: A Corrupt and Correct Logic Locking Techn…

200 papers

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

Due to cost benefits, supply chains of integrated circuits (ICs) are largely outsourced nowadays. However, passing ICs through various third-party providers gives rise to many security threats, like piracy of IC intellectual property or…

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

Due to cost benefits, supply chains of integrated circuits (ICs) are largely outsourced nowadays. However, passing ICs through various third-party providers gives rise to many threats, like piracy of IC intellectual property or insertion of…

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

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

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

Recent Pwn2Own competitions have demonstrated the continued effectiveness of control hijacking attacks despite deployed countermeasures including stack canaries and ASLR. A powerful defense called Control flow Integrity (CFI) offers a…

Cryptography and Security · Computer Science 2014-08-08 Ali Jose Mashtizadeh , Andrea Bittau , David Mazieres , Dan Boneh

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

Fault injection attacks represent a class of threats that can compromise embedded systems across multiple layers of abstraction, such as system software, instruction set architecture (ISA), microarchitecture, and physical implementation.…

Cryptography and Security · Computer Science 2025-05-07 Arsalan Ali Malik , Harshvadan Mihir , Aydin Aysu

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

To reduce the cost of ICs and to meet the market's demand, a considerable portion of manufacturing supply chain, including silicon fabrication, packaging and testing may be pushed offshore. Utilizing a global IC manufacturing supply chain,…

Cryptography and Security · Computer Science 2019-05-16 Kimia Zamiri Azar , Hadi Mardani Kamali , Houman Homayoun , Avesta Sasan

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

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

Programmable Logic Controllers (PLCs) play a critical role in the industrial control systems. Vulnerabilities in PLC programs might lead to attacks causing devastating consequences to the critical infrastructure, as shown in Stuxnet and…

Cryptography and Security · Computer Science 2021-03-24 Ruimin Sun , Alejandro Mera , Long Lu , David Choffnes

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 MiG-V was designed for high-security applications and is the first commercially available logic-locked RISC-V processor on the market. In this context logic locking was used to protect the RISC-V processor design during the untrusted…

Cryptography and Security · Computer Science 2024-08-12 Lennart M. Reimann , Yadu Madhukumar Variyar , Lennet Huelser , Chiara Ghinami , Dominik Germek , Rainer Leupers

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

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

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