Results 181 to 190 of about 237 (204)

An Efficient SAT-Attack Algorithm Against Logic Encryption

2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS), 2019
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. This is because the number of clauses being added during the decryption increases drastically in that case.
Yusuke Matsunaga, Masayoshi Yoshimura
openaire   +1 more source

Functional Reverse Engineering on SAT-Attack Resilient Logic Locking

2019 IEEE International Symposium on Circuits and Systems (ISCAS), 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 these defenses by extracting the logic locking key. The most powerful attacks rely on a full access to
Lilas Alrahis, Muhammad Yasin, Hani Saleh, Baker Mohammad, Mahmoud Al-Qutayri   +4 more
openaire   +1 more source

Tree-Based Logic Encryption for Resisting SAT Attack

2017 IEEE 26th Asian Test Symposium (ATS), 2017
Logic encryption is an IC protection technique which inserts key gates or logic blocks controlled by key inputs to hide a circuit's functionality. An encrypted circuit needs to be activated with a secret key for being functional. Recently, a powerful attack method based on SAT solving was proposed.
openaire   +1 more source

IcySAT: Improved SAT-based Attacks on Cyclic Locked Circuits

2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2019
“Cyclic” circuit locking/camouflaging is a recently proposed direction in logic obfuscation for thwarting foundry and end-user reverse engineering. As opposed to traditional schemes, these techniques create cycles in the obfuscated circuit in a way that confuses the attacker but does not disrupt the combinational nature of the circuit.
Kaveh Shamsi, David Z. Pan, Yier Jin
openaire   +1 more source

A combined attack on RSA algorithm by SAT-approach

2016 Dynamics of Systems, Mechanisms and Machines (Dynamics), 2016
The article deals with factoring cryptanalysis that can be used in attack on popular encryption and digital signing algorithm RSA. Factoring reduces to SAT problem, and one's solution is unique and corresponds to multiplier's bit. A method of simple iteration is applied to SAT, also three polynomial heuristics are applied with the goal to improve ...
openaire   +1 more source

Expanding In-Cone Obfuscated Tree for Anti SAT Attack

2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023
RuiJie Wang, Li-Nung Hsu, Yung-Chih Chen, TingTing Hwang   +3 more
openaire   +1 more source

Generalized SAT-Attack-Resistant Logic Locking

IEEE Transactions on Information Forensics and Security, 2021
Jingbo Zhou, Xinmiao Zhang
exaly  

CycSAT: SAT-based attack on cyclic logic encryptions

2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2017
Hai Zhou 0001, Ruifeng Jiang, Shuyu Kong
openaire   +3 more sources

Preventive Measure of SAT Attack by Integrating Anti-SAT on Locked Circuit for Improving Hardware Security

2022
N M Sivamangai, A Napolean, R Naveenkumar   +2 more
exaly  

Attack on a Scheme for Obfuscating and Outsourcing SAT Computations to the Cloud

Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, 2019
Khazam Alhamdan, Tassos Dimitriou, Imtiaz Ahmad   +2 more
openaire   +1 more source