Applying MILP method to searching integral distinguishers based on division property for 6 lightweight block ciphers
From MaRDI portal
Publication:2958142
DOI10.1007/978-3-662-53887-6_24zbMATH Open1404.94120OpenAlexW2949078646MaRDI QIDQ2958142FDOQ2958142
Authors: Zejun Xiang, Wentao Zhang, Zhenzhen Bao, Dongdai Lin 
Publication date: 1 February 2017
Published in: Advances in Cryptology – ASIACRYPT 2016 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-53887-6_24
Recommendations
- On MILP-Based Automatic Search for Bit-Based Division Property for Ciphers with (Large) Linear Layers
- MILP-aided method of searching division property using three subsets and applications
- Automatic search for a variant of division property using three subsets
- On the division property of \textsc{Simon}48 and \textsc{Simon}64
- Finding integral distinguishers with ease
Cites Work
- LBlock: a lightweight block cipher
- $\textnormal{\textsc{TWINE}}$: A Lightweight Block Cipher for Multiple Platforms
- PRESENT: An Ultra-Lightweight Block Cipher
- Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- The block cipher \textsc{Square}
- The \textsc{Simon} and \textsc{Speck} block ciphers on AVR 8-bit microcontrollers
- Structural evaluation by generalized integral property
- Automatic security evaluation and (related-key) differential characteristic search: application to SIMON, PRESENT, Lblock, DES(L) and other bit-oriented block ciphers
- Automatic security evaluation of block ciphers with S-bP structures against related-key differential attacks
- Observations on the \textsf{SIMON} block cipher family
- The \textsf{Simeck} family of lightweight block ciphers
- Bit-based division property and application to \textsc{Simon} family
- Cryptanalysis of reduced-round SIMON32 and SIMON48
- Extending higher-order integral: an efficient unified algorithm of constructing integral distinguishers for block ciphers
- Integral cryptanalysis on full MISTY1
- Structural evaluation for generalized Feistel structures and applications to LBlock and TWINE
- On the division property of \textsc{Simon}48 and \textsc{Simon}64
- Another view of the division property
- Integral attack against bit-oriented block ciphers
- The Saturation Attack — A Bait for Twofish
- Integral attacks on reduced-round PRESENT
Cited In (78)
- An improved method for evaluating secret variables and its application to WAGE
- Improved integral cryptanalysis of block ciphers BORON and Khudra
- A new method for searching cubes and its application to 815-round trivium
- Correlation cube attack revisited. Improved cube search and superpoly recovery techniques
- A polynomial system for bit-based division property solving by quantum algorithm
- A simpler model for recovering superpoly on Trivium
- Improving the rectangle attack on GIFT-64
- Coefficient grouping: breaking Chaghri and more
- Finding the impossible: automated search for full impossible-differential, zero-correlation, and integral attacks
- Massive superpoly recovery with a meet-in-the-middle framework. Improved cube attacks on \textsc{Trivium} and Kreyvium
- On the field-based division property: applications to MiMC, Feistel MiMC and GMiMC
- Conditional Cube Attacks on Full Members of KNOT-AEAD Family
- Integral Cryptanalysis of Reduced-Round Tweakable TWINE
- Improved division property for ciphers with complex linear layers
- Divide and rule: \textsf{DiFA} -- division property based fault attacks on \textsf{PRESENT} and \textsf{GIFT}
- A new correlation cube attack based on division property
- Ghidle: efficient large-state block ciphers for post-quantum security
- The triangle differential cryptanalysis
- Automatic Demirci-Selçuk meet-in-the-middle attack on SKINNY with key-bridging
- Exploring the optimality of byte-wise permutations of a piccolo-type block Cipher
- Combining MILP modeling with algebraic bias evaluation for linear mask search: improved fast correlation attacks on SNOW
- Finding integral distinguishers with ease
- sLiSCP: Simeck-based permutations for lightweight sponge cryptographic primitives
- Cryptanalysis of stream cipher LIZARD using division property and MILP based cube attack
- Strong and tight security guarantees against integral distinguishers
- Improving division property based cube attacks by removing invalid monomials
- Improved integral attack on generalized Feistel cipher
- PRINCEv2. More security for (almost) no overhead
- WARP: revisiting GFN for lightweight 128-bit block cipher
- Security analysis of SIMECK block cipher against related-key impossible differential
- Experimental evaluation of book drawing algorithms
- FUTURE: a lightweight block cipher using an optimal diffusion matrix
- Structural evaluation by generalized integral property
- Linearly equivalent s-boxes and the division property
- The MILP-aided conditional differential attack and its application to Trivium
- RAMus- a new lightweight block cipher for RAM encryption
- Light but tight: lightweight composition of serialized S-boxes with diffusion layers for strong ciphers
- Distinguishing and Key Recovery Attacks on the Reduced-Round SNOW-V
- Rotational-XOR differential rectangle cryptanalysis on \textsc{Simon}-like ciphers
- Automatic search for bit-based division property
- New method for combining Matsui's bounding conditions with sequential encoding method
- Automatic key recovery of Feistel ciphers: application to SIMON and SIMECK
- A practical key-recovery attack on 805-round Trivium
- Convexity of division property transitions: theory, algorithms and compact models
- More accurate division property propagations based on optimized implementations of linear layers
- Integral attacks on Pyjamask-96 and round-reduced Pyjamask-128
- MILP-aided cube-attack-like cryptanalysis on Keccak keyed modes
- Mathematical aspects of division property
- Impossible differential cryptanalysis and integral cryptanalysis of the ACE-class permutation
- The Oribatida v1.3 family of lightweight authenticated encryption schemes
- Modeling for three-subset division property without unknown subset
- Modeling for three-subset division property without unknown subset. Improved cube attacks against Trivium and Grain-128AEAD
- Meet-in-the-middle attack with splice-and-cut technique and a general automatic framework
- MILP-aided method of searching division property using three subsets and applications
- Improved graph-based model for recovering superpoly on Trivium
- Lower bounds on the degree of block ciphers
- Automatic search for a variant of division property using three subsets
- Massive superpoly recovery with nested monomial predictions
- Stretching cube attacks: improved methods to recover massive superpolies
- A greater \texttt{GIFT}: strengthening \texttt{GIFT} against statistical cryptanalysis
- Automatic search of meet-in-the-middle preimage attacks on AES-like hashing
- An algebraic formulation of the division property: revisiting degree evaluations, cube attacks, and key-independent sums
- Alzette: a 64-bit ARX-boxes (feat. CRAX and TRAX)
- Automatic verification of differential characteristics: application to reduced Gimli
- Lombardi drawings of knots and links
- Several MILP-Aided Attacks Against SNOW 2.0
- Another view of the division property
- Cryptanalysis of MORUS
- Automatic Search for Related-Key Differential Trails in SIMON-like Block Ciphers Based on MILP
- SAND: an AND-RX Feistel lightweight block cipher supporting S-box-based security evaluations
- Dual Relationship Between Impossible Differentials and Zero Correlation Linear Hulls of SIMON-Like Ciphers
- Finding three-subset division property for ciphers with complex linear layers
- On MILP-Based Automatic Search for Bit-Based Division Property for Ciphers with (Large) Linear Layers
- Cryptanalysis of reduced round SPEEDY
- Cube Cryptanalysis of Round-Reduced ACORN
- Speeding up MILP Aided Differential Characteristic Search with Matsui’s Strategy
- Integral attacks on round-reduced Bel-T-256
- Tweakable TWINE: Building a Tweakable Block Cipher on Generalized Feistel Structure
Uses Software
This page was built for publication: Applying MILP method to searching integral distinguishers based on division property for 6 lightweight block ciphers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2958142)
