Results 221 to 230 of about 3,564 (250)

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   +1 more source

Mitigating SAT Attack on Logic Locking

2016
Logic locking is a technique that has been proposed to protect outsourced IC designs from piracy and counterfeiting by untrusted foundries. A locked IC preserves the correct functionality only when a correct key is provided. Recently, the security of logic locking is threatened by a new attack called SAT attack, which can decipher the correct key of ...
Yang Xie 0001, Ankur Srivastava 0001
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

Locked Circuit Indistinguishability: A Notion of Security for Logic Locking

2022 IEEE 35th Computer Security Foundations Symposium (CSF), 2022
Mohamed El Massad, Nahid Juma, Jonathan Shahen, Mariana Raykova 0001, Siddharth Garg, Mahesh Tripunitara   +5 more
openaire   +1 more source

Logic Locking

2023
Dominik Sisejkovic, Rainer Leupers
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)
Johann Knechtel, Lilas Alrahis, Özgur Sinanoglu   +2 more
exaly   +2 more sources

Locke, Leibniz, and the Logic of Mechanism

Journal of the History of Philosophy, 1998
Etude du modele mecaniste d'explication des phenomenes qui a influence Leibniz et Locke dans leur contribution a la science de la nature. Soulevant le probleme de l'interaction esprit-corps et de la definition du pouvoir causal chez Boyle, Mill et Malebranche, l'A.
openaire   +1 more source

LOOPLock 2.0: An Enhanced Cyclic Logic Locking Approach

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022
Hsiao-Yu Chiang, Chia-Chun Lin, Yung-Chih Chen   +2 more
exaly  

Fundamentals of Logic Locking

2023
Kimia Zamiri Azar, Hadi Mardani Kamali, Farimah Farahmandi, Mark Tehranipoor   +3 more
openaire   +1 more source

Challenging the Security of Logic Locking Schemes in the Era of Deep Learning: A Neuroevolutionary Approach

ACM Journal on Emerging Technologies in Computing Systems, 2021
Dominik Germek, Lennart M Reimann
exaly