Results 11 to 20 of about 11,140 (252)
Accelerating the Search of Differential and Linear Characteristics with the SAT Method
IACR Transactions on Symmetric Cryptology, 2021 The introduction of the automatic search boosts the cryptanalysis of symmetric-key primitives to some degree. However, the performance of the automatic search is not always satisfactory for the search of long trails or ciphers with large state sizes ...
Ling Su, Wei Wang, Meiqin Wang
doaj +1 more source
A Novel Probability-Based Logic-Locking Technique: ProbLock
Sensors, 2021 Integrated circuit (IC) piracy and overproduction are serious issues that threaten the security and integrity of a system. Logic locking is a type of hardware obfuscation technique where additional key gates are inserted into the circuit.
Michael Yue, Sara Tehranipoor
doaj +1 more source
Complexity Analysis of the SAT Attack on Logic Locking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023 Due to the adoption of horizontal business models following the globalization of semiconductor manufacturing, the overproduction of integrated circuits (ICs) and the piracy of intellectual properties (IPs) can lead to significant damage to the integrity of the semiconductor supply chain. Logic locking emerges as a primary design-for-security measure to
Yadi Zhong, Ujjwal Guin
openaire +2 more sources
A SAT Attack on the Erdős Discrepancy Conjecture [PDF]
, 2014 8 pages.
Boris Konev, Alexei Lisitsa 0001
openaire +2 more sources
A preimage attack on reduced GIMLI‐HASH with unbalanced squeezing phase
IET Information Security, 2023 In Conference on Cryptographic Hardware and Embedded System 2017, Bernstein et al. proposed GIMLI, a 384‐bit permutation with 24 rounds, which aims to provide high performance on various platforms.
Yongseong Lee +3 more
doaj +1 more source
Linear Cryptanalyses of Three AEADs with GIFT-128 as Underlying Primitives
IACR Transactions on Symmetric Cryptology, 2021 This paper considers the linear cryptanalyses of Authenticated Encryptions with Associated Data (AEADs) GIFT-COFB, SUNDAE-GIFT, and HyENA. All of these proposals take GIFT-128 as underlying primitives. The automatic search with the Boolean satisfiability
Ling Sun, Wei Wang, Meiqin Wang
doaj +1 more source
A SAT attack on the Erdős–Szekeres conjecture
Electronic Notes in Discrete Mathematics, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Martin Balko, Pavel Valtr 0001
openaire +1 more source
Algebraic Fault Attack Against SIMECK Cipher Based on Optimized Fault Location [PDF]
Jisuanji gongcheng, 2019 This paper proposes a algebraic fault attack method based on optimized fault location against SIMECK cipher.By analyzing encryption diffusion defect of the SIMECK round function and the failure cause,the deterministic propagation characteristics of ...
HUANG Changyang, WANG Tao, WANG Xiaohan, CHEN Qingchao, YIN Shizhuang
doaj +1 more source
Finding Collisions against 4-Round SHA-3-384 in Practical Time
IACR Transactions on Symmetric Cryptology, 2022 The Keccak sponge function family, designed by Bertoni et al. in 2007, was selected by the U.S. National Institute of Standards and Technology (NIST) in 2012 as the next generation of Secure Hash Algorithm (SHA-3).
Senyang Huang +3 more
doaj +1 more source
CAS-Lock: A Security-Corruptibility Trade-off Resilient Logic Locking Scheme
Transactions on Cryptographic Hardware and Embedded Systems, 2019 Logic locking has recently been proposed as a solution for protecting gatelevel semiconductor intellectual property (IP). However, numerous attacks have been mounted on this technique, which either compromise the locking key or restore the original ...
Bicky Shakya +3 more
doaj +1 more source