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.

Permutation-Based Tweakable On-line Cipher with Improved Security Guarantees

Cryptanalysis and Improvement of Park Et Al.'s Remote User Authentication Protocol

Superposition Attacks on Pseudorandom Schemes Based on Two or Less Permutations

ZLR: a fast online authenticated encryption scheme achieving full security

An Efficient Two-Factor Authentication Scheme Based on the Merkle Tree

MILP-Aided Related-Tweak/Key Impossible Differential Attack and Its Applications to QARMA, Joltik-BC

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

Improving the Security Bounds against Differential Attacks for Pholkos Family

Quantum permutation pad for universal quantum-safe cryptography

Untappable key distribution system: a one-time-pad booster

Cut-and-Choose Bilateral Oblivious Transfer and Its Application

Non-Degenerate One-Time Pad and the integrity of perfectly secret messages

SAT-based Analysis of Related-key Impossible Distinguishers on Piccolo and (Tweakable) TWINE

Public-key Encryption for Protecting Data in Cloud System with Intelligent Agents Against Side-Channel Attacks

A Lattice-Based Public Key Encryption Scheme with Delegated Equality Test

Conditional Encryption with Applications to Secure Personalized Password Typo Correction

TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks

The weak password problem: chaos, criticality, and encrypted p-CAPTCHAs

CSPS: Catchy Short Passwords Making Offline and Online Attacks Impossible

A chosen-plaintext attack on quantum permutation pad

A Countermeasure of Power Attack for Lightweight Cryptographic Algorithm Using Bit Permutation Operation