Automatic search of linear structure: applications to \textsc{Keccak} and \textsc{Ascon}

DOI10.1007/978-981-97-0945-8_10MaRDI QIDQ6575044zbMATH OpenFDO

Authors Huina Li, Guozhen Liu, Haochen Zhang, Peng Tang, Weidong Qiu

Publication date 19 July 2024

Full work available at URL https://doi.org/10.1007/978-981-97-0945-8_10

zbMATH Keywords

\textsc{Ascon}\textsc{Keccak}linear structurepreimage attackSATzero-sum distinguisher

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Linear structures: applications to cryptanalysis of round-reduced \textsc{Keccak}
• Cryptanalysis of round-reduced KECCAK using non-linear structures
• A SAT-based preimage analysis of reduced \textsc{Keccak} hash functions
• Algebraic Attacks on Round-Reduced Keccak
• Non-full Sbox linearization: applications to collision attacks on round-reduced \textsc{keccak}

Cites work

• A SAT-based preimage analysis of reduced \textsc{Keccak} hash functions
• Algebraic Attacks on Round-Reduced Keccak
• Analysis of RIPEMD-160: new collision attacks and finding characteristics with MILP
• Automatic search of meet-in-the-middle preimage attacks on AES-like hashing
• Automatic security evaluation and (related-key) differential characteristic search: application to SIMON, PRESENT, Lblock, DES(L) and other bit-oriented block ciphers
• Automatic verification of differential characteristics: application to reduced Gimli
• Conditional cube attack on reduced-round Keccak sponge function
• Cryptanalysis of round-reduced KECCAK using non-linear structures
• Cryptanalytic applications of the polynomial method for solving multivariate equation systems over \(\mathrm{GF}(2)\)
• Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
• Differential Propagation Analysis of Keccak
• Exploring SAT for cryptanalysis: (quantum) collision attacks against 6-round SHA-3
• Linear structures: applications to cryptanalysis of round-reduced \textsc{Keccak}
• Meet-in-the-middle attacks revisited: key-recovery, collision, and preimage attacks
• Meet-in-the-middle preimage attacks on sponge-based hashing
• New MILP modeling: improved conditional cube attacks on KECCAK-based constructions
• Preimage attacks on 4-round Keccak by solving multivariate quadratic systems
• Preimage attacks on round-reduced Keccak-224/256 via an allocating approach
• Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK
• PySAT: a Python toolkit for prototyping with SAT oracles
• Rotational cryptanalysis of round-reduced \textsc{Keccak}
• Superposition meet-in-the-middle attacks: updates on fundamental security of AES-like hashing
• Zero-sum distinguishers for iterated permutations and application to Keccak-f and Hamsi-256

Describes a project that uses

Uses Software

• SageMath

This page was built for publication: Automatic search of linear structure: applications to \textsc{Keccak} and \textsc{Ascon}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6575044)