Removal of SAT-Hard Instances in Logic Obfuscation Through Inference of Functionality

I McDaniel, M Zuzak, A Srivastava - ACM Transactions on Design …, 2024 - dl.acm.org
Logic obfuscation is a prominent approach to protect intellectual property within integrated
circuits during fabrication. Many attacks on logic locking have been proposed, particularly in …

[HTML][HTML] Locking-enabled security analysis of cryptographic circuits

D Upadhyaya, M Gay, I Polian - Cryptography, 2024 - mdpi.com
Hardware implementations of cryptographic primitives require protection against physical
attacks and supply chain threats. This raises the question of secure composability of different …

Boolean Domain Attack on Corrupt and Correct Based Logic Locking Techniques

J Madera, K Juretus - Proceedings of the Great Lakes Symposium on …, 2024 - dl.acm.org
Logic locking is a potential solution to prevent reverse engineering and integrated circuit (IC)
counterfeiting from untrusted third parties within the IC supply chain. Among various …

DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks

Y Hu, K Yang, SD Chowdhury… - 2024 25th International …, 2024 - ieeexplore.ieee.org
Logic locking (LL) has gained attention as a promising intellectual property protection
measure for integrated circuits. However, recent attacks, facilitated by machine learning …

Flip-Lock: A Flip-Flop-Based Logic Locking Technique for Thwarting ML-based and Algorithmic Structural Attacks

A Darjani, N Kavand, A Kumar - … of the Great Lakes Symposium on VLSI …, 2024 - dl.acm.org
Machine learning (ML) and algorithmic structural attacks have highlighted the possibility of
utilizing structural leakages of an obfuscated circuit to reverse engineer the locking …