Automatic Differential Analysis of ARX Block Ciphers with Application to SPECK and LEA

DOI10.1007/978-3-319-40367-0_24zbMath1346.94124OpenAlexW2481495684MaRDI QIDQ2817825

Qianqian Yang, Ling Song, Zhangjie Huang

Publication date: 2 September 2016

Published in: Information Security and Privacy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40367-0_24

zbMATH Keywords

SPECKdifferential cryptanalysisLEAautomatic searchARX

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (17)

An STP-based model toward designing S-boxes with good cryptographic properties ⋮ A bit-vector differential model for the modular addition by a constant and its applications to differential and impossible-differential cryptanalysis ⋮ Automatic tool for searching for differential characteristics in ARX ciphers and applications ⋮ Fully automated differential-linear attacks against ARX ciphers ⋮ Pitfalls and shortcomings for decompositions and alignment ⋮ Rotational differential-linear distinguishers of ARX ciphers with arbitrary output linear masks ⋮ Improved differential attack on round-reduced LEA ⋮ Enhancing differential-neural cryptanalysis ⋮ Differential cryptanalysis in the fixed-key model ⋮ Monte Carlo tree search for automatic differential characteristics search: application to SPECK ⋮ A bit-vector differential model for the modular addition by a constant ⋮ Mind the gap -- a closer look at the security of block ciphers against differential cryptanalysis ⋮ Improved Cryptanalysis on SipHash ⋮ Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK ⋮ Automatic Differential Analysis of ARX Block Ciphers with Application to SPECK and LEA ⋮ A deeper look at machine learning-based cryptanalysis ⋮ Improved differential-linear attack with application to round-reduced Speck32/64

Uses Software

• Salsa20
• SIMECK
• SIMON
• Skein Hash
• LEA
• SPECK
• STP
• TEA
• Chaskey

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Differential cryptanalysis of DES-like cryptosystems
• Improved Differential Cryptanalysis of Round-Reduced Speck
• Chaskey: An Efficient MAC Algorithm for 32-bit Microcontrollers
• Automatic Differential Analysis of ARX Block Ciphers with Application to SPECK and LEA
• Automatic Security Evaluation and (Related-key) Differential Characteristic Search: Application to SIMON, PRESENT, LBlock, DES(L) and Other Bit-Oriented Block Ciphers
• Differential Cryptanalysis of Round-Reduced Simon and Speck
• Differential Analysis of Block Ciphers SIMON and SPECK
• The Simon and Speck Block Ciphers on AVR 8-Bit Microcontrollers
• Markov Ciphers and Differential Cryptanalysis
• Automatic Search for the Best Trails in ARX: Application to Block Cipher Speck
• Automatic Search for Differential Trails in ARX Ciphers
• A Decision Procedure for Bit-Vectors and Arrays

This page was built for publication: Automatic Differential Analysis of ARX Block Ciphers with Application to SPECK and LEA