## CryptoDB

### Paper: New techniques for trail bounds and application to differential trails in Keccak

Authors: Silvia Mella , STMicroelectronics; University of Milan Joan Daemen , STMicroelectronics; Radboud University Gilles Van Assche , STMicroelectronics DOI: 10.13154/tosc.v2017.i1.329-357 URL: http://tosc.iacr.org/index.php/ToSC/article/view/597 Search ePrint Search Google We present new techniques to efficiently scan the space of high-probability differential trails in bit-oriented ciphers. Differential trails consist in sequences of state patterns that we represent as ordered lists of basic components in order to arrange them in a tree. The task of generating trails with probability above some threshold starts with the traversal of the tree. Our choice of basic components allows us to efficiently prune the tree based on the fact that we can tightly bound the probability of all descendants for any node. Then we extend the state patterns resulting from the tree traversal into longer trails using similar bounding techniques. We apply these techniques to the 4 largest Keccak-f permutations, for which we are able to scan the space of trails with weight per round of 15. This space is orders of magnitude larger than previously best result published on Keccak-f[1600] that reached 12, which in turn is orders of magnitude larger than any published results achieved with standard tools, that reached at most 9. As a result we provide new and improved bounds for the minimum weight of differential trails on 3, 4, 5 and 6 rounds. We also report on new trails that are, to the best of our knowledge, the ones with the highest known probability.
##### BibTeX
@article{tosc-2017-28107,
title={New techniques for trail bounds and application to differential trails in Keccak},
journal={IACR Trans. Symmetric Cryptol.},
publisher={Ruhr-Universität Bochum},
volume={2017, Issue 1},
pages={329-357},
url={http://tosc.iacr.org/index.php/ToSC/article/view/597},
doi={10.13154/tosc.v2017.i1.329-357},
author={Silvia Mella and Joan Daemen and Gilles Van Assche},
year=2017
}