Results 231 to 240 of about 11,140 (252)
Some of the next articles are maybe not open access.
Algebraic Cryptanalysis of SMS4: Gröbner Basis Attack and SAT Attack Compared
2010The SMS4 block cipher is part of the Chinese WAPI wireless standard. This paper describes the specification and offers a specification for a toy version called simplified SMS4 (S-SMS4). We explore algebraic attacks on SMS4 and S-SMS4 using Grobner basis attacks on equation systems over GF(2) and GF(28), as well as attacks using a SAT solver derived ...
Jeremy Erickson +2 more
openaire +1 more source
Functional Reverse Engineering on SAT-Attack Resilient Logic Locking
2019 IEEE International Symposium on Circuits and Systems (ISCAS), 2019Logic 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 +4 more
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
Tree-Based Logic Encryption for Resisting SAT Attack
2017 IEEE 26th Asian Test Symposium (ATS), 2017Logic 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
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019
Cyclic logic encryption is newly proposed in the area of hardware security. It introduces feedback cycles into the circuit to defeat existing logic decryption techniques. To ensure that the circuit is acyclic under the correct key, CycSAT is developed to add the acyclic condition as a CNF formula to the SAT-based attack.
Yuanqi Shen +5 more
openaire +2 more sources
Cyclic logic encryption is newly proposed in the area of hardware security. It introduces feedback cycles into the circuit to defeat existing logic decryption techniques. To ensure that the circuit is acyclic under the correct key, CycSAT is developed to add the acyclic condition as a CNF formula to the SAT-based attack.
Yuanqi Shen +5 more
openaire +2 more sources
Generalized SAT-Attack-Resistant Logic Locking
IEEE Transactions on Information Forensics and Security, 2021Jingbo Zhou, Xinmiao Zhang
exaly
Expanding In-Cone Obfuscated Tree for Anti SAT Attack
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023RuiJie Wang +3 more
openaire +1 more source
CycSAT: SAT-based attack on cyclic logic encryptions
2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2017Hai Zhou 0001, Ruifeng Jiang, Shuyu Kong
openaire +2 more sources
Characterization of In-Cone Logic Locking Resiliency Against the SAT Attack
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020Kyle Juretus, Ioannis Savidis
exaly
New lightweight Anti-SAT block design and obfuscation technique to thwart removal attack
The Integration VLSI Journal, 2020Vijaypal Singh Rathor +2 more
exaly