Article (Scientific journals)
Mathematical Aspects of Division Property
Hebborn, Phil; Leander, Gregor; Udovenko, Aleksei
2023In Cryptography and Communications
Peer Reviewed verified by ORBi


Full Text
Author preprint (660.45 kB)

This version of the article has been accepted for publication, after peer review but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: Use of this Accepted Version is subject to the publisher’s Accepted Manuscript terms of use https: //

All documents in ORBilu are protected by a user license.

Send to


Keywords :
symmetric cryptography; Boolean functions; algebraic degree; integral cryptanalysis; division property
Abstract :
[en] This work surveys mathematical aspects of division property, which is a state of the art technique in cryptanalysis of symmetric-key algorithms, such as authenticated encryption, block ciphers and stream ciphers. It aims to find integral distinguishers and cube attacks, which exploit weakness in the algebraic normal forms of the output coordinates of the involved vectorial Boolean functions. Division property can also be used to provide arguments for security of primitives against these attacks. The focus of this work is a formal presentation of the theory behind the division property, including rigorous proofs, which were often omitted in the existing literature. This survey covers the two major variants of division property, namely conventional and perfect division property. In addition, we explore relationships of the technique with classic degree bounds
Disciplines :
Computer science
Author, co-author :
Hebborn, Phil;  Ruhr-Universität Bochum - RUB
Leander, Gregor;  Ruhr-Universität Bochum - RUB
Udovenko, Aleksei  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > Cryptolux ; CryptoExperts, Paris, France
External co-authors :
Language :
Title :
Mathematical Aspects of Division Property
Publication date :
02 March 2023
Journal title :
Cryptography and Communications
Publisher :
Springer, New York, United States - New York
Peer reviewed :
Peer Reviewed verified by ORBi
Focus Area :
Computational Sciences
Additional URL :
FnR Project :
FNR13641232 - Analysis And Protection Of Lightweight Cryptographic Algorithms, 2019 (01/01/2021-31/12/2023) - Alex Biryukov
Funders :
FNR - Fonds National de la Recherche [LU]
DFG - Deutsche Forschungsgemeinschaft [DE]
Available on ORBilu :
since 19 December 2022


Number of views
31 (1 by Unilu)
Number of downloads
8 (0 by Unilu)

Scopus citations®
Scopus citations®
without self-citations
WoS citations


Similar publications

Contact ORBilu