Algebraic Properties of Subquasigroups and Construction of Cryptographically Suitable Finite Quasigroups

12/10/2021
by   V. A. Artamonov, et al.
0

In this paper, we identify many important properties and develop criteria for the existence of subquasigroups in finite quasigroups. Based on these results, we propose an effective method that concludes the nonexistence of subquasigroup of a finite quasigroup, otherwise finds its all possible proper subquasigroups. This has an important application in checking the cryptographic suitability of a finite quasigroup. Further, we propose a binary operation using arithmetic of finite fields to construct quasigroups of order p^r. We develop the criteria under which these quasigroups have desirable cryptographic properties, viz. polynomially completeness and possessing no proper subquasigroups. Then a practical method is given to construct cryptographically suitable quasigroups. We also illustrate these methods by some academic examples and implement all proposed algorithms in the computer algebra system Singular.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/15/2019

Some remarks regarding finite bounded commutative BCK-algebras

In this chapter, starting from some results obtained in the papers [FV; ...
research
12/21/2022

Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

Kleene Algebra (KA) is the algebra of regular expressions. Central to th...
research
08/19/2019

Weil descent and cryptographic trilinear maps

It has recently been shown that cryptographic trilinear maps are suffici...
research
11/28/2018

Constructions of involutions over finite fields

An involution over finite fields is a permutation polynomial whose inver...
research
11/21/2022

Finite Model Properties for Residuated Semigroups

We have a quick look at various finite model properties for residuated s...
research
04/04/2022

An Algebraic System for Constructing Cryptographic Permutations over Finite Fields

In this paper we identify polynomial dynamical systems over finite field...
research
02/18/2020

Algebraic blinding and cryptographic trilinear maps

It has been shown recently that cryptographic trilinear maps are suffici...

Please sign up or login with your details

Forgot password? Click here to reset