Paper 2017/1036

Rotational-XOR Cryptanalysis of Reduced-round SPECK

Yunwen Liu, Glenn De Witte, Adrián Ranea, and Tomer Ashur

Abstract

In this paper we formulate a SAT/SMT model for Rotational-XOR (RX) cryptanalysis in ARX primitives for the first time. The model is successfully applied to the block cipher family Speck, and distinguishers covering more rounds than previously are found, as well as RX-characteristics requiring less data to detect. In particular, we present distinguishers for 10, 11 and 12 rounds for Speck32/64 which have better probabilities than the previously known 9-round differential characteristic, for a certain weak key class. For versions of Speck48, we present several distinguishers, among which the longest one covering 15 rounds, while the previously best differential characteristic only covered 11.

Metadata
Available format(s)
PDF
Category
Secret-key cryptography
Publication info
A minor revision of an IACR publication in FSE 2018
DOI
10.13154/tosc.v2017.i3.24-36
Keywords
Rotational-XOR cryptanalysisARXWeak keysSATSMT
Contact author(s)
Tomer Ashur @ esat kuleuven be
History
2017-10-28: received
Short URL
https://ia.cr/2017/1036
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2017/1036,
      author = {Yunwen Liu and Glenn De Witte and Adrián Ranea and Tomer Ashur},
      title = {Rotational-XOR Cryptanalysis of Reduced-round SPECK},
      howpublished = {Cryptology ePrint Archive, Paper 2017/1036},
      year = {2017},
      doi = {10.13154/tosc.v2017.i3.24-36},
      note = {\url{https://eprint.iacr.org/2017/1036}},
      url = {https://eprint.iacr.org/2017/1036}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.