Analysis of differential attacks in ARX constructions

Leurent, Gaëtan
(2012) 18th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2012) — Location: Beijing (China) (2.December.2012)

Files

ARX_AC12_full.pdf
  • Open Access
  • Adobe PDF
  • 500.61 KB

Details

Authors
  • Leurent, GaëtanUCLouvain
    Author
Abstract
In this paper, we study differential attacks against ARX schemes. We build upon the generalized characteristics of de Cannière and Rechberger; we introduce new multi-bit constraints to describe differential characteristics in ARX designs more accurately, and quartet constraints to analyze boomerang attacks. We also describe how to propagate those constraints; this can be used either to assist manual construction of a differential characteristic, or to extract more information from an already built characteristic. We show that our new constraints are more precise than what was used in previous works, and can detect more cases of incompatibility. In particular, we show that several published attacks are in fact fact invalid because the differential characteristics cannot be satisfied. This highlights the importance of verifying differential attacks more thoroughly.
Affiliations

Citations

Leurent, G. (2012). Analysis of differential attacks in ARX constructions. In Xiaoyun Wang, Kazue Sako (ed.), Proceedings of the 18th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2012) (p. p. 226-243). Springer. https://doi.org/10.1007/978-3-642-34961-4