TY - GEN
T1 - Finding Integral Distinguishers with Ease
AU - Eskandari, Zahra
AU - Kidmose, Andreas Brasen
AU - Kölbl, Stefan
AU - Tiessen, Tyge
PY - 2019/1/1
Y1 - 2019/1/1
N2 - 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.
AB - 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.
KW - Division property
KW - Integral attacks
KW - Tool
U2 - 10.1007/978-3-030-10970-7_6
DO - 10.1007/978-3-030-10970-7_6
M3 - Article in proceedings
AN - SCOPUS:85060711382
SN - 9783030109691
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 115
EP - 138
BT - Selected Areas in Cryptography – SAC 2018
A2 - Cid, Carlos
A2 - Jacobson, Michael J.
PB - Springer
T2 - 25th International Conference on Selected Areas in Cryptography, SAC 2018
Y2 - 15 August 2018 through 17 August 2018
ER -