An Easy to Use Tool for Rotational-XOR Cryptanalysis of ARX Block Ciphers
نویسندگان
چکیده
An increasing number of lightweight cryptographic primitives have been published in the last years. Some of these proposals only use additions, rotations and XORs, and these ARX primitives have shown a great performance in software. In this paper, a computer tool to automate the security evaluation of ARX block ciphers is shown. Our tool takes a Python implementation of an ARX block cipher and analyse its resistance against rotational-XOR cryptanalysis. As opposed to most of the tools to analyse ciphers, our tool can be used with any ARX block cipher with minimal effort.
منابع مشابه
An Automated Tool for Rotational-XOR Cryptanalysis of ARX-based Primitives
In ARX structures, constants that are not rotational invariant are often injected into the state, in the form of round constants or as a result of using a fixed key. Rotational cryptanalysis cannot deal with such constants. Rotational cryptanalysis in the presence of constants, also known as rotational-XOR cryptanalysis, is a recently proposed statistical technique to attack ARX primitives. The...
متن کاملTowards Finding Optimal Differential Characteristics for ARX: Application to Salsa20⋆
Abstract. An increasing number of cryptographic primitives are built using the ARX operations: addition modulo 2, bit rotation and XOR. Because of their very fast performance in software, ARX ciphers are becoming increasingly common. However, there is currently no rigorous understanding of the security of ARX ciphers against one of the most common attacks in symmetric-key cryptography: differen...
متن کاملAutomatic Differential Analysis of ARX Block Ciphers with Application to SPECK and LEA
In this paper, we focus on the automatic differential cryptanalysis of ARX block ciphers with respect to XOR-difference, and develop Mouha et al.’s framework for finding differential characteristics by adding a new method to construct long characteristics from short ones. The new method reduces the searching time a lot and makes it possible to search differential characteristics for ARX block c...
متن کامل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 data to detect. In particular, we present distinguishers for 10, 11 and 12 rounds for Speck32/64 w...
متن کاملRotational Cryptanalysis of ARX Revisited
Rotational cryptanalysis is a probabilistic attack applicable to word oriented designs that use (almost) rotation-invariant constants. It is believed that the success probability of rotational cryptanalysis against ciphers and functions based on modular additions, rotations and XORs, can be computed only by counting the number of additions. We show that this simple formula is incorrect due to t...
متن کامل