ARXtools
Construction of differential characteristics in ARX designs application to skein. In this paper, we study differential attacks against ARX schemes. We build upon the generalized characteristics of De Canni`ere and Rechberger and the multi-bit constraints of Leurent.par Our main result is an algorithm to build complex non-linear differential characteristics for ARX constructions, that we applied to reduced versions of the hash function Skein. We present several characteristics for use in various attack scenarios: on the one hand we show attacks with a relatively low complexity, in relatively strong settings; and on the other hand weaker distinguishers reaching more rounds. Our most notable results are practical free-start and semi-free-start collision attacks for 20 rounds and 12 rounds of Skein-256, respectively. Since the full version of Skein-256 has 72 rounds, this result confirms the large security margin of the design.par These results are some of the first examples of complex differential trails built for pure ARX designs. We believe this is an important work to assess the security those functions against differential cryptanalysis. Our tools are publicly available from the ARXtools webpage.
Keywords for this software
References in zbMATH (referenced in 10 articles )
Showing results 1 to 10 of 10.
Sorted by year (- Xin, Wenqian; Liu, Yunwen; Sun, Bing; Li, Chao: Improved cryptanalysis on SipHash (2019)
- Biryukov, Alex; Velichkov, Vesselin; Le Corre, Yann: Automatic search for the best trails in ARX: application to block cipher \textscSpeck (2016)
- Fu, Kai; Wang, Meiqin; Guo, Yinghua; Sun, Siwei; Hu, Lei: MILP-based automatic search algorithms for differential and linear trails for Speck (2016)
- Liu, Yunwen; Wang, Qingju; Rijmen, Vincent: Automatic search of linear trails in ARX with applications to SPECK and Chaskey (2016)
- Lamberger, Mario; Mendel, Florian; Schläffer, Martin; Rechberger, Christian; Rijmen, Vincent: The rebound attack and subspace distinguishers: application to Whirlpool (2015)
- Abed, Farzaneh; Forler, Christian; List, Eik; Lucks, Stefan; Wenzel, Jakob: A framework for automated independent-biclique cryptanalysis (2014)
- Biryukov, Alex; Velichkov, Vesselin: Automatic search for differential trails in ARX ciphers (2014)
- Khovratovich, Dmitry; Nikolić, Ivica; Rechberger, Christian: Rotational rebound attacks on reduced Skein (2014)
- Kircanski, Aleksandar; AlTawy, Riham; Youssef, Amr M.: A heuristic for finding compatible differential paths with application to HAS-160 (2013)
- Leurent, Gaëtan: Construction of differential characteristics in ARX designs application to Skein (2013)