Abstract:One of the major open problems in symmetric cryptanalysis is to discover new specif i c types of invariant properties which can hold for a larger number of rounds of a block cipher. We have Generalised Linear Cryptanalysis (GLC) and Partitioning Cryptanalysis (PC). Due to double-exponential combinatorial explosion of the number of possible invariant properties systematic exploration is not possible and extremely few positive working examples of GLC are known. Our answer is to work with polynomial algebraic invariants which makes partitions more intelligible. We have developed a constructive algebraic approach which is about making sure that a certain combination of polynomial equations is zero. We work with an old block cipher from 1980s which has particularly large hardware complexity compared to modern ciphers e.g. AES. However all this complexity is not that useful if we are able to construct powerful non-linear invariants which work for any number of rounds. A key feature of our invariant attacks is that we are able to completely eliminate numerous state and key bits. We also construct invariants for the (presumably stronger) KT1 keys. Some of these lead to powerful ciphertext-only correlation attacks.

Cryptanalysis of General Lu-Lee Type Systems

Probability Method for Cryptanalysis of General Multivariate Modular Linear Equation

New linear approximation of modular addition and improved differential-linear cryptanalysis of SPARX-64/128

Enhanced Side-Channel Cube Attacks on PRESENT.

Linear (Hull) And Algebraic Cryptanalysis Of The Block Cipher Present

Two modifications for Loidreau's code-based cryptosystem

Solving Generalized Bivariate Integer Equations and Its Application to Factoring With Known Bits

Algebraic Side-Channel Attacks on KLEIN

Lattice-Based Vulnerabilities in Lee Metric Post-Quantum Cryptosystems

Cryptanalysis of a Public Key Cryptosystem Based on Diophantine Equations Via Weighted LLL Reduction.

Cryptanalysis of Rational Multivariate Public Key Cryptosystems

A Constructive Method of Algebraic Attack with Less Keystream Bits

Adaptive Side-Channel Analysis Model and Its Applications to White-Box Block Cipher Implementations.

Matrix-based Substitution-Permutation Network Against Linear Cryptanalysis

Constructive Non-Linear Polynomial Cryptanalysis of a Historical Block Cipher

Cryptanalysis of Short Exponent RSA with Primes Sharing Least Significant Bits

Cryptoanalysis of Cryptosystems Based on the Quadratic Residue Problem

Remarks on Cryptanalysis of RSA Using Lattice Basis Reduction

An Attack on $p$-adic Lattice Public-key Cryptosystems and Signature Schemes

Practical Algebraic Cryptanalysis For Dragon-Based Cryptosystems

Linear cryptanalysis of SPECK and SPARX