Results 231 to 240 of about 1,245,287 (248)

Modeling SAT-Attack Search Complexity

International Symposium on Circuits and Systems, 2020
In this paper, a metric based on mathematical modeling is proposed to evaluate the strength in security of a logic-locked circuit against a satisfiability (SAT) based attack.
Saran Phatharodom, Nagarajan Kandasamy, I. Savidis   +2 more
semanticscholar   +1 more source

TimingSAT: Timing Profile Embedded SAT Attack

2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2018
In order to enhance the security of logic obfuscation schemes, delay based logic locking has been proposed in combination with traditional functional logic locking approaches in recent literature.
Abhishek Chakraborty, Yuntao Liu, Ankur Srivastava   +2 more
semanticscholar   +1 more source

Functional Reverse Engineering on SAT-Attack Resilient Logic Locking

International Symposium on Circuits and Systems, 2019
Logic locking is a solution that mitigates hardware security threats, such as Trojan insertion, piracy and counterfeiting. Research in this area has led to, in an iterative fashion, a series of logic locking defenses as well as attacks that circumvent ...
Lilas Alrahis, Muhammad Yasin, H. Saleh, B. Mohammad, M. Al-Qutayri   +4 more
semanticscholar   +1 more source

Security Characterization of SAT Attack Resilience in Oracle Guided Gate Locked Designs

2026 IEEE 6th International Conference on VLSI Systems, Architecture, Technology and Applications (VLSI SATA)
SAT attacks are one of the effective methods for cracking the security of hardware logic locking. SAT-based attacks pose one of the most serious threats to the user of logic locking and other techniques for protecting hardware.
Pulagam Haritha, M. N.
semanticscholar   +1 more source

Enhancements to SAT Attack

ACM Trans. Design Autom. Electr. Syst., 2018
Logic encryption is an IC protection technique for preventing an IC design from overproduction and unauthorized use. It hides a design’s functionality by inserting key gates and key inputs, such that a secret key is required to activate the design and ...
Yung-Chih Chen
semanticscholar   +1 more source

An Efficient SAT-Attack Algorithm Against Logic Encryption

IEEE International Symposium on On-Line Testing and Robust System Design, 2018
This paper presents a novel efficient SAT-attack algorithm for logic encryption. The existing SAT-attack algorithm can decrypt almost all encrypted circuits proposed so far, however, there are cases that it takes a huge amount of CPU time.
Yusuke Matsunaga, Masayoshi Yoshimura
semanticscholar   +1 more source

SHA-256 Collision Attack with Programmatic SAT

PAAR+SC²@IJCAR
Cryptographic hash functions play a crucial role in ensuring data security, generating fixed-length hashes from variable-length inputs. The hash function SHA-256 is trusted for data security due to its resilience after over twenty years of intense ...
Nahiyan Alamgir, Saeed Nejati, Curtis Bright   +2 more
semanticscholar   +1 more source

A SAT Attack on Rota's Basis Conjecture

International Conference on Theory and Applications of Satisfiability Testing, 2022
Markus Kirchweger, M. Scheucher, Stefan Szeider   +2 more
semanticscholar   +1 more source

Power Analysis Attack Against post-SAT Logic Locking schemes

IEEE European Test Symposium
Due to the globalization of the semiconductor industry, Integrated Circuits (ICs) and Intellectual Properties (IPs) are susceptible to specific threats. IP piracy, overproduction, and introduction of hardware Trojans can indeed compromise valuable design
Nassim Riadi, F. Bruguier, Pascal Benoit, Sophie Dupuis, M. Flottes   +4 more
semanticscholar   +1 more source

SARLock: SAT attack resistant logic locking

IEEE International Symposium on Hardware Oriented Security and Trust, 2016
Muhammad Yasin, Bodhisatwa Mazumdar, Jeyavijayan Rajendran, O. Sinanoglu   +3 more
semanticscholar   +1 more source