Abstract:In recent years a new class of symmetric-key primitives over $\mathbb{F}_p$ that are essential to Multi-Party Computation and Zero-Knowledge Proofs based protocols have emerged. Towards improving the efficiency of such primitives, a number of new block ciphers and hash functions over $\mathbb{F}_p$ were proposed. These new primitives also showed that following alternative design strategies to the classical Substitution-Permutation Network (SPN) and Feistel Networks leads to more efficient cipher and hash function designs over $\mathbb{F}_p$ specifically for large odd primes $p$. In view of these efforts, in this work we build an \emph{algebraic framework} that allows the systematic exploration of viable and efficient design strategies for constructing symmetric-key (iterative) permutations over $\mathbb{F}_p$. We first identify iterative polynomial dynamical systems over finite fields as the central building block of almost all block cipher design strategies. We propose a generalized triangular polynomial dynamical system (GTDS), and based on the GTDS we provide a generic definition of an iterative (keyed) permutation over $\mathbb{F}_p^n$. Our GTDS-based generic definition is able to describe the three most well-known design strategies, namely SPNs, Feistel networks and Lai--Massey. Consequently, the block ciphers that are constructed following these design strategies can also be instantiated from our generic definition. Moreover, we find that the recently proposed \texttt{Griffin} design, which neither follows the Feistel nor the SPN design, can be described using the generic GTDS-based definition. We also show that a new generalized Lai--Massey construction can be instantiated from the GTDS-based definition. We further provide generic analysis of the GTDS including an upper bound on the differential uniformity and the correlation.

More Constructions of Differentially 4-Uniform Permutations on $${\mathbb {F}}_{2^{2k}}$$f22k

More New Classes Of Differentially 4-Uniform Permutations With Good Cryptographic Properties

Some new results on permutation polynomials over finite fields

On the Boomerang Uniformity of Permutations of Low Carlitz Rank

On CCZ-equivalence Between the Bracken-Tan-Tan Function and Power Functions

A Note on the Construction of Differentially Uniform Permutations Using Extension Fields.

On permutation quadrinomials with boomerang uniformity 4 and the best-known nonlinearity

On the boomerang uniformity of (quadratic) permutations over $F_{2^n}$

Generalized Triangular Dynamical System: An Algebraic System for Constructing Cryptographic Permutations over Finite Fields

New Classes of Permutation Quadrinomials over Fq3

Cryptographic analysis and construction of complete permutations using a recursive approach

Constructing rotatable permutations of $\mathbb{F}_{2^m}^3$ with $3$-homogeneous functions

In-depth analysis of S-boxes over binary finite fields concerning their differential and Feistel boomerang differential uniformities

The c-boomerang uniformity of two classes of permutation polynomials over finite fields

A general construction of permutation polynomials of the form $ (x^{2^m}+x+\delta)^{i(2^m-1)+1}+x$ over $\F_{2^{2m}}$

Four Classes of Bivariate Permutation Polynomials over Finite Fields of Even Characteristic

On the Boomerang Spectrum of Power Permutation $X^{2^{3n}+2^{2n}+2^{n}-1}$ over $\GF{2^{4n}}$ and Extraction of Optimal Uniformity Boomerang Functions

On the second-order zero differential properties of several classes of power functions over finite fields

A new class of S-boxes with optimal Feistel boomerang uniformity

Permutation Rational Functions over Quadratic Extensions of Finite Fields

A novel efficient S-box design algorithm based on a new chaotic map and permutation