Automatic Search for the Best Trails in ARX: Application to Block Cipher Speck

DOI10.1007/978-3-662-52993-5_15zbMath1387.94069OpenAlexW2477751631MaRDI QIDQ4639485

Vesselin Velichkov, Alex Biryukov, Yann le Corre

Publication date: 9 May 2018

Published in: Fast Software Encryption (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-52993-5_15

zbMATH Keywords

cryptanalysisARXsymmetric-key\textsc{Speck}

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (17)

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 ⋮ Efficient detection of high probability statistical properties of cryptosystems via surrogate differentiation ⋮ Rotational differential-linear distinguishers of ARX ciphers with arbitrary output linear masks ⋮ Improved differential attack on round-reduced LEA ⋮ Speeding up MILP Aided Differential Characteristic Search with Matsui’s Strategy ⋮ Design Strategies for ARX with Provable Bounds: Sparx and LAX ⋮ Monte Carlo tree search for automatic differential characteristics search: application to SPECK ⋮ A bit-vector differential model for the modular addition by a constant ⋮ Improved Cryptanalysis on SipHash ⋮ MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck ⋮ Automatic Search for the Best Trails in ARX: Application to Block Cipher Speck ⋮ Automatic Differential Analysis of ARX Block Ciphers with Application to SPECK and LEA ⋮ Improved differential-linear attack with application to round-reduced Speck32/64 ⋮ Alzette: a 64-bit ARX-boxes (feat. CRAX and TRAX) ⋮ Search for differences for Alzette S-Box with maximum or close to maximum differential characteristic probability

Uses Software

• ARXtools
• SIMECK
• SIMON
• YAARX

Cites Work

• Unnamed Item
• 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\)
• Heuristic Tool for Linear Cryptanalysis with Applications to CAESAR Candidates
• Construction of Differential Characteristics in ARX Designs Application to Skein
• Automatic Security Evaluation and (Related-key) Differential Characteristic Search: Application to SIMON, PRESENT, LBlock, DES(L) and Other Bit-Oriented Block Ciphers
• Differential Analysis of Block Ciphers SIMON and SPECK
• The Simon and Speck Block Ciphers on AVR 8-Bit Microcontrollers
• The Differential Analysis of S-Functions
• Improved Linear Distinguishers for SNOW 2.0
• Markov Ciphers and Differential Cryptanalysis
• MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck
• Automatic Search for the Best Trails in ARX: Application to Block Cipher Speck
• Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
• Analysis of Differential Attacks in ARX Constructions
• NORX: Parallel and Scalable AEAD
• Cryptanalysis of the Hash Functions MD4 and RIPEMD
• How to Break MD5 and Other Hash Functions
• Automatic Search for Differential Trails in ARX Ciphers
• Finding Collisions in the Full SHA-1
• Fast Software Encryption

This page was built for publication: Automatic Search for the Best Trails in ARX: Application to Block Cipher Speck