Javascript must be enabled to continue!
Some Algebraic Properties of RX-Differential Probabilities of Boolean Mappings
View through CrossRef
Introduction. ARX- and LRX- cryptosystems are based on extremely simple operations available at the level of computing processor instructions, such as modular addition, bitwise addition, rotations, etc. Due to their simple implementation and extremely high speed, ARX- and LRX- cryptosystems have become an important part of so-called lightweight cryptography – a field dedicated to the development of reliable algorithms for low-resource devices and the Internet of Things. However, their simple structure also makes them vulnerable to attacks, so the creation of such systems requires careful analysis and evaluation of cryptographic security against known attack methods, such as RX-analysis.
The purpose of the article is to derive exact analytical expressions for the probabilities of RX-differentials of Boolean mappings with linear shifts. This will enable a more detailed analysis of the cryptographic properties of such mappings.
Results. Exact analytical expressions have been obtained for the probabilities of RX-differentials, as well as ordinary differentials and rotation pairs, for binary Boolean mappings with linear shifts. It has been proven that RX-differentials for given mappings and their dual functions have the same probabilities. It is shown that adding constants – a common method of increasing security against rotational cryptanalysis – does not always produce the desired effect. For rotation-invariant mappings with shifts, an unexpected connection between the probabilities of rotation pairs and the probabilities of differentials is demonstrated.
Conclusions. The obtained results can be used in analyzing the cryptographic security of ARX-cryptosystems and developing new reliable cryptographic algorithms suitable for low-resource devices. Keywords: symmetric cryptography, ARX-cryptosystems, differential cryptanalysis, rotational cryptanalysis, RX-analysis.
Title: Some Algebraic Properties of RX-Differential Probabilities of Boolean Mappings
Description:
Introduction.
ARX- and LRX- cryptosystems are based on extremely simple operations available at the level of computing processor instructions, such as modular addition, bitwise addition, rotations, etc.
Due to their simple implementation and extremely high speed, ARX- and LRX- cryptosystems have become an important part of so-called lightweight cryptography – a field dedicated to the development of reliable algorithms for low-resource devices and the Internet of Things.
However, their simple structure also makes them vulnerable to attacks, so the creation of such systems requires careful analysis and evaluation of cryptographic security against known attack methods, such as RX-analysis.
The purpose of the article is to derive exact analytical expressions for the probabilities of RX-differentials of Boolean mappings with linear shifts.
This will enable a more detailed analysis of the cryptographic properties of such mappings.
Results.
Exact analytical expressions have been obtained for the probabilities of RX-differentials, as well as ordinary differentials and rotation pairs, for binary Boolean mappings with linear shifts.
It has been proven that RX-differentials for given mappings and their dual functions have the same probabilities.
It is shown that adding constants – a common method of increasing security against rotational cryptanalysis – does not always produce the desired effect.
For rotation-invariant mappings with shifts, an unexpected connection between the probabilities of rotation pairs and the probabilities of differentials is demonstrated.
Conclusions.
The obtained results can be used in analyzing the cryptographic security of ARX-cryptosystems and developing new reliable cryptographic algorithms suitable for low-resource devices.
Keywords: symmetric cryptography, ARX-cryptosystems, differential cryptanalysis, rotational cryptanalysis, RX-analysis.
Related Results
Some Contributions to Boolean like near Rings
Some Contributions to Boolean like near Rings
In this paper we extend Foster’s Boolean-like ring to Near-rings. We introduce the concept of a Boolean like near-ring. A near-ring N is said to be a Boolean-like near-ring if the...
Indeterminacy of Boolean Ring
Indeterminacy of Boolean Ring
Background A neutrosophic ring represents an algebraic generalization of the classical ring structure by introducing an indeterminacy element I , enabling the modeling of truth, fa...
Editorial Messages
Editorial Messages
Just as it has been continually happening in the world of mathematical sciences, the group of mathematical scientists led by (for example) Professor Eyup Cetin and his colleagues (...
Biomappings: Community curation of mappings between biomedical entities
Biomappings: Community curation of mappings between biomedical entities
Many related biomedical resources propose their own identifiers for genes, proteins, chemicals, biological processes, and other entities of biological interest. The integration of ...
Boolean Functions with Affine Annihilators
Boolean Functions with Affine Annihilators
In the article we study boolean functions with affine annihilators. We have obtained results in both, estimating the number of functions under study and defining the relationship b...
Letter from the Editors
Letter from the Editors
“The present moment seems a very appropriate one to launch a new journal on Algebraic Statistics”Fabrizio Catanese, Editor of the Journal of Algebraic GeometryMany classical statis...
A Note on Boolean Like Algebras
A Note on Boolean Like Algebras
In this paper we develop on abstract system: viz Boolean-like algebra and prove that every Boolean algebra is a Boolean-like algebra. A necessary and sufficient condition for a B...
Asymptotic Behavior of Linear Approximations of Pseudo-Boolean Functions
Asymptotic Behavior of Linear Approximations of Pseudo-Boolean Functions
We study the problem of approximating pseudo-Boolean functions by linear pseudo-Boolean functions. Pseudo-Boolean functions generalize ordinary Boolean functions by allowing the fu...

