Results 171 to 180 of about 249 (207)

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

Understanding Logic Locking

Farimah Farahmandi, Hadi Mardani Kamali
exaly   +2 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   +2 more sources

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   +2 more sources

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   +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

TTLock: Tenacious and traceless logic locking

2017 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2017
Logic locking is an intellectual property (IP) protection technique that prevents IP piracy, reverse engineering and overbuilding attacks by the untrusted foundry or endusers. Existing logic locking techniques are all vulnerable to various attacks, such as sensitization, key-pruning and signal skew analysis enabled removal attacks.
Muhammad Yasin, Bodhisatwa Mazumdar, Jeyavijayan (JV) Rajendran, Ozgur Sinanoglu   +3 more
openaire   +2 more sources

Provably-Secure Logic Locking

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017
Logic locking has been conceived as a promising proactive defense strategy against intellectual property (IP) piracy, counterfeiting, hardware Trojans, reverse engineering, and overbuilding attacks. Yet, various attacks that use a working chip as an oracle have been launched on logic locking to successfully retrieve its secret key, undermining the ...
Muhammad Yasin, Abhrajit Sengupta, Mohammed Thari Nabeel, Mohammed Ashraf, Jeyavijayan Rajendran, Ozgur Sinanoglu   +5 more
openaire   +1 more source