English
Related papers

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

200 papers

Protecting intellectual property (IP) has become a serious challenge for chip designers. Most countermeasures are tailored for CMOS integration and tend to incur excessive overheads, resulting from additional circuitry or device-level…

Emerging Technologies · Computer Science 2019-06-05 Satwik Patnaik , Nikhil Rangarajan , Johann Knechtel , Ozgur Sinanoglu , Shaloo Rakheja

Advances in reverse engineering make it challenging to deploy any on-chip information in a way that is hidden from a determined attacker. A variety of techniques have been proposed for design obfuscation including look-alike cells in which…

Cryptography and Security · Computer Science 2017-10-26 Shahrzad Keshavarz , Daniel Holcomb

While various obfuscation methods exist in the digital domain, techniques for protecting Intellectual Property (IP) in the analog domain are mostly overlooked. Understandably, analog components have a small footprint as most of the surface…

Cryptography and Security · Computer Science 2022-09-07 Muayad J. Aljafar , Florence Azais , Marie-Lise Flottes , Samuel Pagliarini

Fault injection attacks represent a type of active, physical attack against cryptographic circuits. Various countermeasures have been proposed to thwart such attacks, the design and implementation of which are, however, intricate,…

Cryptography and Security · Computer Science 2023-07-04 Huiyu Tan , Pengfei Gao , Taolue Chen , Fu Song , Zhilin Wu

The security of modern electronic devices relies on secret keys stored on secure hardware modules as the root-of-trust (RoT). Extracting those keys would break the security of the entire system. As shown before, sophisticated side-channel…

Cryptography and Security · Computer Science 2021-02-24 Thilo Krachenfels , Tuba Kiyan , Shahin Tajik , Jean-Pierre Seifert

In this paper, we claim that cyclic obfuscation, when properly implemented, poses exponential complexity on SAT or CycSAT attack. The CycSAT, in order to generate the necessary cycle avoidance clauses, uses a pre-processing step. We show…

Cryptography and Security · Computer Science 2018-04-25 Shervin Roshanisefat , Hadi Mardani Kamali , Avesta Sasan

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 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 has become a promising approach to provide hardware security in the face of a possibly insecure fabrication supply chain. While many techniques have focused on locking combinational logic (CL), an alternative latch-locking…

Cryptography and Security · Computer Science 2023-05-02 Dake Chen , Xuan Zhou , Yinghua Hu , Yuke Zhang , Kaixin Yang , Andrew Rittenbach , Pierluigi Nuzzo , Peter A. Beerel

Hardware reverse engineering is a universal tool for both legitimate and illegitimate purposes. On the one hand, it supports confirmation of IP infringement and detection of circuit malicious manipulations, on the other hand it provides…

Cryptography and Security · Computer Science 2019-10-04 Marc Fyrbiak , Sebastian Strauß , Christian Kison , Sebastian Wallat , Malte Elson , Nikol Rummel , Christof Paar

This paper presents a high-level circuit obfuscation technique to prevent the theft of intellectual property (IP) of integrated circuits. In particular, our technique protects a class of circuits that relies on constant multiplications,…

Cryptography and Security · Computer Science 2021-05-14 Levent Aksoy , Quang-Linh Nguyen , Felipe Almeida , Jaan Raik , Marie-Lise Flottes , Sophie Dupuis , Samuel Pagliarini

The increasing cost of integrated circuit (IC) fabrication has driven most companies to "go fabless" over time. The corresponding outsourcing trend gave rise to various attack vectors, e.g., illegal overproduction of ICs, piracy of the…

Cryptography and Security · Computer Science 2019-02-26 Johann Knechtel , Satwik Patnaik , Ozgur Sinanoglu

Integrated Circuits (ICs) are the target of diverse attacks during their lifetime. Fabrication-time attacks, such as the insertion of Hardware Trojans, can give an adversary access to privileged data and/or the means to corrupt the IC's…

Cryptography and Security · Computer Science 2023-08-22 Mohammad Eslami , Tiago Perez , Samuel Pagliarini

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

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

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

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…

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

In the context of hardware trust and assurance, reverse engineering has been often considered as an illegal action. Generally speaking, reverse engineering aims to retrieve information from a product, i.e., integrated circuits (ICs) and…

In-memory computing architectures provide a much needed solution to energy-efficiency barriers posed by Von-Neumann computing due to the movement of data between the processor and the memory. Functions implemented in such in-memory…

Hardware Architecture · Computer Science 2020-06-24 Sina Sayyah Ensan , Karthikeyan Nagarajan , Mohammad Nasim Imtia Khan , Swaroop Ghosh