Paper 2022/736

Mathematical Aspects of Division Property

Phil Hebborn, Ruhr-Universität Bochum
Gregor Leander, Ruhr-Universität Bochum
Aleksei Udovenko, SnT, University of Luxembourg
Abstract

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.

Metadata
Available format(s)
PDF
Category
Secret-key cryptography
Publication info
Preprint.
Keywords
symmetric cryptography Boolean functions algebraic degree integral cryptanalysis division property
Contact author(s)
phil hebborn @ rub de
gregor leander @ rub de
aleksei @ affine group
History
2022-06-09: revised
2022-06-09: received
See all versions
Short URL
https://ia.cr/2022/736
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2022/736,
      author = {Phil Hebborn and Gregor Leander and Aleksei Udovenko},
      title = {Mathematical Aspects of Division Property},
      howpublished = {Cryptology ePrint Archive, Paper 2022/736},
      year = {2022},
      note = {\url{https://eprint.iacr.org/2022/736}},
      url = {https://eprint.iacr.org/2022/736}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.