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.

A New Variant of the Matsumoto-Imai Cryptosystem through Perturbation

Dimension of the linearization equations of the matsumoto-imai cryptosystems

Inoculating multivariate schemes against differential attacks

The Matsumoto-Imai Cryptosystem

Perturbed Hidden Matrix Cryptosystems

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

Cryptanalysis of HFEv and internal perturbation of HFE

A Comprehensive Review of MI-HFE and IPHFE Cryptosystems: Advances in Internal Perturbations for Post-Quantum Security

Cryptanalysis of Novel Extended Multivariate Public Key Cryptosystem

Cryptanalysis of Rational Multivariate Public Key Cryptosystems

A new encryption scheme for multivariate quadratic systems.

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

A Circuit Protection Method Based on Minterm Perturbation

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

The New Implementation Schemes of the TTM Cryptosystem Are Not Secure

Cryptanalysis of two quartic encryption schemes and one improved MFE scheme

Cryptanalysis of an implementation scheme of the Tamed Transformation Method cryptosystem.

Breaking a New Instance of TTM Cryptosystems

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

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

A Novel Automatic Technique Based on MILP to Search for Impossible Differentials