Rotational-XOR Cryptanalysis of Reduced-round SPECK

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 d...

Full description

Bibliographic Details
Main Authors: Yunwen Liu, Glenn De Witte, Adrián Ranea, Tomer Ashur
Format: Article
Language:English
Published: Ruhr-Universität Bochum 2017-09-01
Series:IACR Transactions on Symmetric Cryptology
Subjects:
ARX
Online Access:https://tosc.iacr.org/index.php/ToSC/article/view/764