New method for combining Matsui's bounding conditions with sequential encoding method
From MaRDI portal
Recommendations
- Speeding up MILP Aided Differential Characteristic Search with Matsui’s Strategy
- Automatic security evaluation and (related-key) differential characteristic search: application to SIMON, PRESENT, Lblock, DES(L) and other bit-oriented block ciphers
- Parallel SAT framework to find clustering of differential characteristics and its applications
- MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck
- Improved cryptanalysis of an ISO standard lightweight block cipher with refined MILP modelling
Cites work
- $\textnormal{\textsc{TWINE}}$: A Lightweight Block Cipher for Multiple Platforms
- A New Method for Searching Optimal Differential and Linear Trails in ARX Ciphers
- Applying MILP method to searching integral distinguishers based on division property for 6 lightweight block ciphers
- Automatic search of bit-based division property for ARX ciphers and word-based division property
- Automatic search of linear trails in ARX with applications to SPECK and Chaskey
- 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
- Convexity of division property transitions: theory, algorithms and compact models
- Cube attacks on non-blackbox polynomials based on division property
- Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
- GIFT: a small present. Towards reaching the limit of lightweight encryption
- scientific article; zbMATH DE number 503238 (Why is no real title available?)
- scientific article; zbMATH DE number 1088930 (Why is no real title available?)
- scientific article; zbMATH DE number 1394292 (Why is no real title available?)
- LBlock: a lightweight block cipher
- Links among impossible differential, integral and zero correlation linear cryptanalysis
- MILP-aided method of searching division property using three subsets and applications
- MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck
- New impossible differential search tool from design and cryptanalysis aspects. Revealing structural properties of several ciphers
- Observations on the \textsf{SIMON} block cipher family
- PRESENT: An Ultra-Lightweight Block Cipher
- Speeding up MILP Aided Differential Characteristic Search with Matsui’s Strategy
- The \textsc{Simon} and \textsc{Speck} block ciphers on AVR 8-bit microcontrollers
- The complexity of theorem-proving procedures
- Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
Cited in
(3)- Parallel SAT framework to find clustering of differential characteristics and its applications
- Exploring the optimal differential characteristics of SM4. Improving automatic search by including human insights
- A new automatic framework for searching rotational-XOR differential characteristics in ARX ciphers
This page was built for publication: New method for combining Matsui's bounding conditions with sequential encoding method
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6063134)
