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...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Ruhr-Universität Bochum
2017-09-01
|
Series: | IACR Transactions on Symmetric Cryptology |
Subjects: | |
Online Access: | https://tosc.iacr.org/index.php/ToSC/article/view/764 |
id |
doaj-4404c2324ecb4c9bb40dc3a2bb3f4877 |
---|---|
record_format |
Article |
spelling |
doaj-4404c2324ecb4c9bb40dc3a2bb3f48772021-03-02T10:44:24ZengRuhr-Universität BochumIACR Transactions on Symmetric Cryptology2519-173X2017-09-01243610.13154/tosc.v2017.i3.24-36764Rotational-XOR Cryptanalysis of Reduced-round SPECKYunwen Liu0Glenn De Witte1Adrián Ranea2Tomer Ashur3imec-COSIC KU Leuven, Leuven (Belgium); College of Science, National University of Defense Technology, Changshaimec-COSIC KU Leuven, Leuvenimec-COSIC KU Leuven, Leuvenimec-COSIC KU Leuven, LeuvenIn 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.https://tosc.iacr.org/index.php/ToSC/article/view/764Rotational cryptanalysisARXRX-differenceWeak keysSAT/SMT |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Yunwen Liu Glenn De Witte Adrián Ranea Tomer Ashur |
spellingShingle |
Yunwen Liu Glenn De Witte Adrián Ranea Tomer Ashur Rotational-XOR Cryptanalysis of Reduced-round SPECK IACR Transactions on Symmetric Cryptology Rotational cryptanalysis ARX RX-difference Weak keys SAT/SMT |
author_facet |
Yunwen Liu Glenn De Witte Adrián Ranea Tomer Ashur |
author_sort |
Yunwen Liu |
title |
Rotational-XOR Cryptanalysis of Reduced-round SPECK |
title_short |
Rotational-XOR Cryptanalysis of Reduced-round SPECK |
title_full |
Rotational-XOR Cryptanalysis of Reduced-round SPECK |
title_fullStr |
Rotational-XOR Cryptanalysis of Reduced-round SPECK |
title_full_unstemmed |
Rotational-XOR Cryptanalysis of Reduced-round SPECK |
title_sort |
rotational-xor cryptanalysis of reduced-round speck |
publisher |
Ruhr-Universität Bochum |
series |
IACR Transactions on Symmetric Cryptology |
issn |
2519-173X |
publishDate |
2017-09-01 |
description |
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. |
topic |
Rotational cryptanalysis ARX RX-difference Weak keys SAT/SMT |
url |
https://tosc.iacr.org/index.php/ToSC/article/view/764 |
work_keys_str_mv |
AT yunwenliu rotationalxorcryptanalysisofreducedroundspeck AT glenndewitte rotationalxorcryptanalysisofreducedroundspeck AT adrianranea rotationalxorcryptanalysisofreducedroundspeck AT tomerashur rotationalxorcryptanalysisofreducedroundspeck |
_version_ |
1724236283476180992 |