Automatic search for bit-based division property

DOI10.1007/978-3-030-88238-9_13zbMath1491.94052MaRDI QIDQ2146095

Shibam Ghosh, Orr Dunkelman

Publication date: 15 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88238-9_13

zbMATH Keywords

constraint programming; division property; integral cryptanalysis; Ascon; KNOT

Mathematics Subject Classification ID

90C10: Integer programming

94A60: Cryptography

Related Items

Mathematical aspects of division property

Uses Software

• cvc3
• MiniZinc
• LBlock
• PRESENT
• CHUFFED
• Square
• STP

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