Speeding up MILP Aided Differential Characteristic Search with Matsui’s Strategy
From MaRDI portal
Publication:6108832
DOI10.1007/978-3-319-99136-8_6zbMath1517.94170OpenAlexW2885614120MaRDI QIDQ6108832
Lei Hu, Ying-Jie Zhang, Unnamed Author, Siwei Sun
Publication date: 30 June 2023
Published in: Developments in Language Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-99136-8_6
Integer programming (90C10) Nonnumerical algorithms (68W05) Linear programming (90C05) Cryptography (94A60)
Related Items (5)
Automatic tool for searching for differential characteristics in ARX ciphers and applications ⋮ Impossible Differential Cryptanalysis and Integral Cryptanalysis of the ACE-Class Permutation ⋮ New method for combining Matsui's bounding conditions with sequential encoding method ⋮ Lesamnta-LW revisited: improved security analysis of primitive and new PRF mode ⋮ Lightweight authenticated encryption mode suitable for threshold implementation
Cites Work
- Unnamed Item
- Unnamed Item
- Automatic search for linear trails of the SPECK family
- Heuristic Tool for Linear Cryptanalysis with Applications to CAESAR Candidates
- The SKINNY Family of Block Ciphers and Its Low-Latency Variant MANTIS
- Automatic Security Evaluation and (Related-key) Differential Characteristic Search: Application to SIMON, PRESENT, LBlock, DES(L) and Other Bit-Oriented Block Ciphers
- Analysis of NORX: Investigating Differential and Rotational Properties
- Branching Heuristics in Differential Collision Search with Applications to SHA-512
- Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers
- Speeding Up the Search Algorithm for the Best Differential and Best Linear Trails
- PRESENT: An Ultra-Lightweight Block Cipher
- Improved and Multiple Linear Cryptanalysis of Reduced Round Serpent
- Markov Ciphers and Differential Cryptanalysis
- Towards Accurate Statistical Analysis of Security Margins: New Searching Strategies for Differential Attacks
- Best differential characteristic search of FEAL
- 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
- New Impossible Differential Search Tool from Design and Cryptanalysis Aspects
This page was built for publication: Speeding up MILP Aided Differential Characteristic Search with Matsui’s Strategy
