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.

Dimension of the linearization equations of the matsumoto-imai cryptosystems

A New Variant of the Matsumoto-Imai Cryptosystem through Perturbation

The Matsumoto-Imai Cryptosystem

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

Regarding Classification of n-sharing of Multivariate Mappings over Finite Fields and One NSUCrypto'2019 Olympiad Problem

Cryptanalysis of two quartic encryption schemes and one improved MFE scheme

Cryptanalysis of Rational Multivariate Public Key Cryptosystems

Probability Method for Cryptanalysis of General Multivariate Modular Linear Equation

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

Inoculating multivariate schemes against differential attacks

Multivariate Public Key Cryptography

Constructing linear transformations of MPKC by generalized central symmetric matrices

The New Implementation Schemes of the TTM Cryptosystem Are Not Secure

Solving Degree Bounds For Iterated Polynomial Systems

Cryptanalysis of the TRMC-4 Public Key Cryptosystem

SIGNLINE: Digital signature scheme based on linear equations cryptosystem

Cryptanalysis of Two New Instances of TTM Cryptosystem.

Cryptanalysis of a homomorphic encryption scheme from ISIT 2008

Complexity estimates for the F4 attack on the perturbed Matsumoto-Imai cryptosystem

Eliminating Decryption Failures from the Simple Matrix Encryption Scheme.

A Complete Cryptanalysis of the Post-Quantum Multivariate Signature Scheme Himq-3