An algebraic formulation of the division property: revisiting degree evaluations, cube attacks, and key-independent sums

K Hu, S Sun, M Wang, Q Wang - … on the Theory and Application of …, 2020 - Springer
Since it was proposed in 2015 as a generalization of integral properties, the division
property has evolved into a powerful tool for probing the structures of Boolean functions …

Massive superpoly recovery with nested monomial predictions

K Hu, S Sun, Y Todo, M Wang, Q Wang - … on the Theory and Application of …, 2021 - Springer
Determining the exact algebraic structure or some partial information of the superpoly for a
given cube is a necessary step in the cube attack–a generic cryptanalytic technique for …

Integral cryptanalysis of round-reduced shadow-32 for iot nodes

A Mirzaie, S Ahmadi, MR Aref - IEEE Internet of Things Journal, 2023 - ieeexplore.ieee.org
The increasing prominence of the Internet of Things (IoT) necessitates a thorough
examination of IoT nodes, as they play a critical role in transmitting, processing, and storing …

Fast MILP models for division property

P Derbez, B Lambin - IACR Transactions on Symmetric Cryptology, 2022 - tosc.iacr.org
Nowadays, MILP is a very popular tool to help cryptographers search for various
distinguishers, in particular for integral distinguishers based on the division property …

Integral attack on the full FUTURE block cipher

Z Xu, J Cui, K Hu, M Wang - Tsinghua Science and Technology, 2024 - ieeexplore.ieee.org
FUTURE is a recently proposed lightweight block cipher that achieved a remarkable
hardware performance due to careful design decisions. FUTURE is an Advanced Encryption …

Convexity of division property transitions: theory, algorithms and compact models

A Udovenko - Advances in Cryptology–ASIACRYPT 2021: 27th …, 2021 - Springer
Integral cryptanalysis is a powerful tool for attacking symmetric primitives, and division
property is a state-of-the-art framework for finding integral distinguishers. This work …

On MILP-based automatic search for bit-based division property for ciphers with (large) linear layers

M ElSheikh, AM Youssef - … Conference on Information Security and Privacy, 2021 - Springer
With the introduction of the division trail, the bit-based division property (BDP) has become
the most efficient method to search for integral distinguishers. The notation of the division …

Automatic search for bit-based division property

S Ghosh, O Dunkelman - Progress in Cryptology–LATINCRYPT 2021: 7th …, 2021 - Springer
Division properties, introduced by Todo at Eurocrypt 2015, are an extension of square attack
(also called saturation attack or integral cryptanalysis). Given their importance, a large …

Improved division property for ciphers with complex linear layers

Y Mao, W Wu, B Wang, L Zhang - Australasian Conference on Information …, 2022 - Springer
The division property proposed by Todo at EUROCRYPT 2015 as a generalized integral
property has been applied to many symmetric ciphers. Automatic search methods of the …

Divide and Rule: DiFA-Division Property Based Fault Attacks on PRESENT and GIFT

AK Kundu, S Ghosh, D Saha, M Rahman - International Conference on …, 2023 - Springer
The division property introduced by Todo in Crypto 2015 is one of the most versatile tools in
the arsenal of a cryptanalyst which has given new insights into many ciphers primarily from …