Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK

DOI10.1007/s10623-021-00904-5zbMath1472.94062OpenAlexW3180993977MaRDI QIDQ1981795

Sadegh Sadeghi, Vincent Rijmen, Nasour Bagheri

Publication date: 6 September 2021

Published in: Designs, Codes and Cryptography (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10623-021-00904-5

zbMATH Keywords

MILPexperimental verificationweak keys\texttt{SIMECK}\texttt{SPECK}differential-based distinguishersrelated key

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

Uses Software

• SageMath
• Gurobi
• Salsa20
• HIGHT
• SIMON
• Skein Hash
• LEA
• CryptoSMT
• SPECK
• Gimli

Cites Work

• Unnamed Item
• Differential cryptanalysis of DES-like cryptosystems
• The \textsf{Simeck} family of lightweight block ciphers
• Automatic search for linear trails of the SPECK family
• Rotational-XOR cryptanalysis of Simon-like block ciphers
• On MILP-based automatic search for differential trails through modular additions with application to Bel-T
• Automatic tool for searching for differential characteristics in ARX ciphers and applications
• Computing AES related-key differential characteristics with constraint programming
• Security analysis of SIMECK block cipher against related-key impossible differential
• Improved Differential Cryptanalysis of Round-Reduced Speck
• Automatic Differential Analysis of ARX Block Ciphers with Application to SPECK and LEA
• Automatic Search of Linear Trails in ARX with Applications to SPECK and Chaskey
• Boomerang Distinguishers on MD4-Family: First Practical Results on Full 5-Pass HAVAL
• Boomerang Attacks on Hash Function Using Auxiliary Differentials
• 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
• Rotational Cryptanalysis of ARX Revisited
• The Simon and Speck Block Ciphers on AVR 8-Bit Microcontrollers
• Second-Order Differential Collisions for Reduced SHA-256
• Finding SHA-2 Characteristics: Searching through a Minefield of Contradictions
• Improved Cryptanalysis on SipHash
• HIGHT: A New Block Cipher Suitable for Low-Resource Device
• Rotational Cryptanalysis of ARX
• On the Design and Security of RC2
• MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck
• Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
• Analysis of Differential Attacks in ARX Constructions
• New Impossible Differential Search Tool from Design and Cryptanalysis Aspects
• Automatic Search for Differential Trails in ARX Ciphers
• Algebraic Cryptanalysis of the Data Encryption Standard
• The Delicate Issues of Addition with Respect to XOR Differences

This page was built for publication: Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK