Abstract:MFE, a multivariate public key encryption scheme proposed by Wang et al in CT-RSA 2006, was conquered by second order linearization equation (SOLE) attack by Ding et al in PKC 2007. To resist this attack, many improved schemes were proposed. Wang et al in [WFW09 and Wang in [Wan07] both modified MFE and raised the public key from quadratic to quartic equations. We call the two quartic schemes Quartic-1 and Quartic-2 respectively for convenience. They are indeed immune to the SOLE attack. However, we find that there exist many quadratization equations (QEs), which are quadratic in plaintext variables and linear in ciphertext variables and can be derived from the public keys of Quartic-1 and Quartic-2. In this paper, we utilize QEs to recover the corresponding plaintext for a given ciphertext. For Quartic-1, we firstly find there are at least 2r SOLEs, which was regarded as impossible by the original authors, furthermore, we can find at least 35r QEs with a complexity $\mathcal {O}((90r^2(15r+1)+180r^2+15r(15r+1)/2+27r+1)^w)$, where r is a small number denoting the degree of extension of finite fields and w≈2.732. The computational complexity of deriving these equations is about 237. But to find the original plaintext, there still needs 240 times Gröbner basis computations, which needs practically 1.328 seconds each time. For Quartic-2, we make a theoretical analysis and find 18r QEs with a computational complexity $\mathcal {O}((15r+1)6r(12r+1)+180r^2+27r+1)^w$. The complexity is 236 for the parameter proposed in [Wan07], and we can break the scheme practically in 3110.734 seconds. Finally, we show that another improved version of MFE in [WZY07] is insecure against the linearization equation attack although its authors claimed it is secure against high order linearization equation attack. Our attack on the two quartic schemes illustrates that non-linearization equations like quadratization equations which are not degree one in plaintext variables can also be used efficiently to analyze multivariate cryptosystems.

Probability Method for Cryptanalysis of General Multivariate Modular Linear Equation

Unbalanced Exponent Modular Reduction over Binary Field and Its Implementation

Cryptanalysis of General Lu-Lee Type Systems

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

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

Limitations of the Macaulay matrix approach for using the HHL algorithm to solve multivariate polynomial systems

High Order Linearization Equation (Hole) Attack On Multivariate Public Key Cryptosystems

Cryptanalysis of Rational Multivariate Public Key Cryptosystems

MutantXL: Solving Multivariate Polynomial Equations for Cryptanalysis.

Remarks on Cryptanalysis of RSA Using Lattice Basis Reduction

Middle-Solving Grobner bases algorithm for cryptanalysis over finite fields

Quantum Advantage via Solving Multivariate Quadratics

Minimizing CNOT-count in Quantum Circuit of the Extended Shor’s Algorithm for ECDLP

A new approach based on quadratic forms to attack the McEliece cryptosystem

Quantum Algorithm for Optimization and Polynomial System Solving over Finite Field and Application to Cryptanalysis

Algebraic Attack on the MQQ Public Key Cryptosystem

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

Simple Matrix - A Multivariate Public Key Cryptosystem (mpkc) for Encryption

Cryptanalysis of two quartic encryption schemes and one improved MFE scheme

Polynomial XL: A Variant of the XL Algorithm Using Macaulay Matrices over Polynomial Rings

Extension Field Cancellation: A New Central Trapdoor for Multivariate Quadratic Systems