Finding Integral Distinguishers with Ease

Zahra Eskandari, Andreas Brasen Kidmose, Stefan Kölbl*, Tyge Tiessen

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

19 Downloads (Pure)


The division property method is a technique to determine integral distinguishers on block ciphers. While the complexity of finding these distinguishers is higher, it has recently been shown that MILP and SAT solvers can efficiently find such distinguishers. In this paper, we provide a framework to automatically find those distinguishers which solely requires a description of the cryptographic primitive. We demonstrate that by finding integral distinguishers for 30 primitives with different design strategies. We provide several new or improved bit-based division property distinguishers for ChaCha, Chaskey, DES, GIFT, LBlock, Mantis, Qarma, RoadRunner, Salsa and SM4. Furthermore, we present an algorithm to find distinguishers with lower data complexity more efficiently.

Original languageEnglish
Title of host publicationSelected Areas in Cryptography – SAC 2018
EditorsCarlos Cid, Michael J. Jacobson
Publication date1 Jan 2019
ISBN (Print)9783030109691
Publication statusPublished - 1 Jan 2019
Event25th International Conference on Selected Areas in Cryptography, SAC 2018 - Calgary, Canada
Duration: 15 Aug 201817 Aug 2018


Conference25th International Conference on Selected Areas in Cryptography, SAC 2018
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11349 LNCS


  • Division property
  • Integral attacks
  • Tool

Cite this