### Increasing Precision of Division Property

Patrick Derbez and Pierre-Alain Fouque

##### Abstract

In this paper we propose new techniques related to division property. We describe for the first time a practical algorithm for computing the propagation tables of 16-bit Super-Sboxes, increasing the precision of the division property by removing a lot of false division trails. We also improve the complexity of the procedure introduced by Lambin et al. (Design, Codes and Cryptography, 2020) to extend a cipher with linear mappings and show how to decrease the number of transitions to look for. While search procedures for integral distinguishers most often rely on MILP or SAT solvers for their ease of programming the propagation constraints, such generic solvers can only handle small 4/8-bit Sboxes. Thus we developed an ad-hoc tool handling larger Sboxes and all the improvements described in the paper. As a result, we found new integral distinguishers on SKINNY-64, HIGHT and Midori-64.

Available format(s)
Category
Secret-key cryptography
Publication info
Published elsewhere. IACR-TOSC ISSUE 4-2020
DOI
10.46586/tosc.v2020.i4.173-194
Keywords
Division propertySKINNYMidoriHIGHTTools
Contact author(s)
patrick derbez @ irisa fr
History
Short URL
https://ia.cr/2021/022

CC BY

BibTeX

@misc{cryptoeprint:2021/022,
author = {Patrick Derbez and Pierre-Alain Fouque},
title = {Increasing Precision of Division Property},
howpublished = {Cryptology ePrint Archive, Paper 2021/022},
year = {2021},
doi = {10.46586/tosc.v2020.i4.173-194},
note = {\url{https://eprint.iacr.org/2021/022}},
url = {https://eprint.iacr.org/2021/022}
}

Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.