Results 211 to 220 of about 3,511 (251)

On Improving the Security of Logic Locking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2016
Due to globalization of integrated circuit (IC) design flow, rogue elements in the supply chain can pirate ICs, overbuild ICs, and insert hardware Trojans. EPIC locks the design by randomly inserting additional gates; only a correct key makes the design to produce correct outputs.
Muhammad Yasin, Jeyavijayan (JV) Rajendran, Ozgur Sinanoglu, Ramesh Karri   +3 more
openaire   +1 more source

Trustworthy Hardware Design with Logic Locking

2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC), 2021
As the designated root of trust, hardware is undoubtedly the most critical layer to security in modern electronic systems. Protecting its integrity throughout the integrated circuit supply chain is of paramount importance. Logic locking has become a prominent tool to safeguard hardware against malicious design modifications.
Dominik Sisejkovic, Rainer Leupers
openaire   +1 more source

On the Limitations of Logic Locking the Approximate Circuits

2022 Asian Hardware Oriented Security and Trust Symposium (AsianHOST), 2022
Approximate Computing (AxC) is an emerging architectural paradigm, which promises improvements in area, performance or power consumption at the expense of limited and tolerable inaccuracies of computations. Circuits designed in typical AxC-friendly applications, such as neural network accelerators, visual computing and high-bandwidth communication, are
Kartik Nayak, Devanshi Upadhyaya, Francesco Regazzoni 0001, Ilia Polian   +3 more
openaire   +3 more sources

Logic Locking Induced Fault Attacks

2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2020
Logic locking has been presented in the past as a solution to avoid overproduction or product piracy. All solutions so far assume or rely on the protection of the correct locking key. This paper does not target the break of locking schemes but looks at another highly critical security risk which comes with modified locking keys: The enabling of fault ...
Michaela Brunner, Michael Gruber, Michael Tempelmeier, Georg Sigl   +3 more
openaire   +1 more source

Design and Analysis of Logic Locking Techniques

2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC), 2021
The skyrocketing cost of integrated circuit (IC) manufacturing has forced the majority of enterprises to shift to fabless operation. IC design is often outsourced to foreign fabrication laboratories to reduce time and cost However, as a flip-side, it has introduced various hardware security concerns at different stages in the supply chain, namely, IP ...
Akashdeep Saha, Debdeep Mukhopadhyay, Rajat Subhra Chakraborty   +2 more
openaire   +1 more source

Temporal Logic Verification of Lock-Freedom

2010
Lock-free implementations of data structures try to better utilize the capacity of modern multi-core computers, by increasing the potential to run in parallel. The resulting high degree of possible interference makes verification of these algorithms challenging. In this paper we describe a technique to verify lock-freedom, their main liveness property.
Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif   +3 more
openaire   +1 more source

A Glitch Key-Gate for Logic Locking

2019 32nd IEEE International System-on-Chip Conference (SOCC), 2019
Logic locking is a technique used for intellectual property protection. An effective attacking method based on satisfiability (SAT) algorithm, known as SAT attack, was proposed to decrypt an encrypted design successfully. To strengthen logic locking, this paper proposes a glitch-based logic locking method designed for sequential circuits.
De-Xuan Ji, Hsiao-Yu Chiang, Chia-Chun Lin, Chia-Cheng Wu, Yung-Chih Chen, Chun-Yao Wang   +5 more
openaire   +1 more source

The Impact of Logic Synthesis and Technology Mapping on Logic Locking Security

2024 IFIP/IEEE 32nd International Conference on Very Large Scale Integration (VLSI-SoC)
Lilas Alrahis, Johann Knechtel, Özgur Sinanoglu   +2 more
exaly   +2 more sources

The Need for Logic Locking

2019
The first chapter of the book describes the need for logic locking and how it addresses the hardware security challenges faced by the IC design community. The chapter begins with a description of the globalized IC design flow and the associated security threats.
Muhammad Yasin, Jeyavijayan Rajendran, Ozgur Sinanoglu   +2 more
openaire   +1 more source

Revisiting Logic Locking for Reversible Computing

2019 IEEE European Test Symposium (ETS), 2019
Analogous to CMOS circuits, we can expect attacks such as integrated circuit (IC) counterfeiting, piracy through reverse engineering (RE) or over-production, and insertion of hardware Trojans to be launched on emerging class of reversible circuits, which is a promising alternative to standard CMOS technology.
Nimisha Limaye, Muhammad Yasin, Ozgur Sinanoglu   +2 more
openaire   +1 more source