Automatic search for bit-based division property
From MaRDI portal
Publication:2146095
DOI10.1007/978-3-030-88238-9_13zbMath1491.94052MaRDI QIDQ2146095
Publication date: 15 June 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-88238-9_13
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Finding integral distinguishers with ease
- Linearly equivalent s-boxes and the division property
- \textsc{Ascon} v1.2: lightweight authenticated encryption and hashing
- Zero-sum partitions of PHOTON permutations
- Integral cryptanalysis on full MISTY1
- Automatic search of bit-based division property for ARX ciphers and word-based division property
- Structural Evaluation by Generalized Integral Property
- Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers
- LBlock: A Lightweight Block Cipher
- The Saturation Attack — A Bait for Twofish
- PRESENT: An Ultra-Lightweight Block Cipher
- Bit-Pattern Based Integral Attack
- The block cipher Square
- Bit-Based Division Property and Application to Simon Family
- GIFT: A Small Present
- A Decision Procedure for Bit-Vectors and Arrays
- The complexity of theorem-proving procedures
- The Problem of Simplifying Truth Functions