Meiqin Wang

Automatic Search of Bit-Based Division Property for ARX Ciphers and Word-Based Division Property.

2017 · IACR Cryptology ePrint Archive

Division property is a generalized integral property proposed by Todo at Eurocrypt 2015. Previous tools for automatic searching are mainly based on the Mixed Integer Linear Programming (MILP) method and trace the division property propagation …