Search engine for discovering works of Art, research articles, and books related to Art and Culture
ShareThis
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.
V.M. Glushkov Institute of Cybernetics
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 ...
Prediction and curation of missing biomedical identifier mappings with Biomappings
Prediction and curation of missing biomedical identifier mappings with Biomappings
AbstractMotivationBiomedical identifier resources (such as ontologies, taxonomies, and controlled vocabularies) commonly overlap in scope and contain equivalent entries under diffe...
Prediction and Curation of Missing Biomedical Identifier Mappings with Biomappings
Prediction and Curation of Missing Biomedical Identifier Mappings with Biomappings
AbstractMotivationBiomedical identifier resources (ontologies, taxonomies, controlled vocabularies) commonly overlap in scope and contain equivalent entries under different identif...
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...
Novel Techniques for Classifying Exotic Spheres in High Dimensions
Novel Techniques for Classifying Exotic Spheres in High Dimensions
Discrete calculus deals with developing the concepts and techniques of differential and integral calculus in a discrete setting, often using difference equations and discrete funct...
Assembly and reasoning over semantic mappings at scale for biomedical data integration
Assembly and reasoning over semantic mappings at scale for biomedical data integration
Motivation: Hundreds of resources assign identifiers to biomedical concepts including genes, small molecules, biological processes, diseases, and cell types. Often, these resources...
On the sensitivity to noise of a Boolean function
On the sensitivity to noise of a Boolean function
In this paper we generate upper and lower bounds for the sensitivity to noise of a Boolean function using relaxed assumptions on input choices and noise. The robustness of a Boolea...
A comparative study of mappings in metric space and controlled metric space
A comparative study of mappings in metric space and controlled metric space
The objective of this paper is to present a comparative study of mapping in Metric Space and Controlled Metric Space. The study provides the structure, gap analysis and application...

Back to Top