Automatic Search of Linear Trails in ARX with Applications to SPECK and Chaskey

DOI10.1007/978-3-319-39555-5_26zbMath1346.94112OpenAlexW2493918232MaRDI QIDQ2822690

Vincent Rijmen, Yunwen Liu, Qingju Wang

Publication date: 4 October 2016

Published in: Applied Cryptography and Network Security (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/553491

zbMATH Keywords

linear cryptanalysisBoolean satisfiability problemARX structure

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Cryptography (94A60)

Related Items (9)

Related-tweakey impossible differential attack on reduced-round \texttt{SKINNY-AEAD} M1/M3 ⋮ Automatic tool for searching for differential characteristics in ARX ciphers and applications ⋮ Meet-in-the-middle attack with splice-and-cut technique and a general automatic framework ⋮ New method for combining Matsui's bounding conditions with sequential encoding method ⋮ Differential cryptanalysis of round-reduced \texttt{SPEEDY} family ⋮ Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK ⋮ Nonlinear diffusion layers ⋮ Alzette: a 64-bit ARX-boxes (feat. CRAX and TRAX) ⋮ A preimage attack on reduced \textsc{Gimli}-\textsc{Gash}

Uses Software

• Salsa20
• ChaCha
• HIGHT
• SipHash
• ARXtools
• SIMON
• Skein Hash
• SPECK
• TEA
• XTEA
• Chaskey

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Differential cryptanalysis of DES-like cryptosystems
• Automatic search for linear trails of the SPECK family
• On CCZ-equivalence of addition mod \(2^n\)
• Chaskey: An Efficient MAC Algorithm for 32-bit Microcontrollers
• Construction of Differential Characteristics in ARX Designs Application to Skein
• SipHash: A Fast Short-Input PRF
• Automatic Security Evaluation and (Related-key) Differential Characteristic Search: Application to SIMON, PRESENT, LBlock, DES(L) and Other Bit-Oriented Block Ciphers
• The Simon and Speck Block Ciphers on AVR 8-Bit Microcontrollers
• Observations on the SIMON Block Cipher Family
• HIGHT: A New Block Cipher Suitable for Low-Resource Device
• Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
• Improved Linear Distinguishers for SNOW 2.0
• MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck
• Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
• Automatic Search for Differential Trails in ARX Ciphers
• Fast Software Encryption

This page was built for publication: Automatic Search of Linear Trails in ARX with Applications to SPECK and Chaskey