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.

Cryptanalysis of a homomorphic encryption scheme from ISIT 2008

Cryptanalysis of a Homomorphic Encryption Scheme Over Integers.

Attack on Recent Homomorphic Encryption Scheme over Integers

Efficient Multi-Receiver Identity-Based Signcryption from Lattice Assumption

Homomorphic Encryption within Lattice-Based Encryption System

Magnifying Side-Channel Leakage of Lattice-Based Cryptosystems with Chosen Ciphertexts: The Case Study of Kyber

A New Somewhat Homomorphic Encryption Scheme over Integers

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

A New ElGamal-Based Algebraic Homomorphism and Its Application

Cryptanalysis of two quartic encryption schemes and one improved MFE scheme

Ciphertext Malleability in Lattice-Based KEMs as a Countermeasure to Side Channel Analysis

Cryptanalysis and improvement of a reversible data-hiding scheme in encrypted images by redundant space transfer.

On the Equivalent Keys in Multivariate Cryptosystems

Cryptanalysis of a Multivariate Public Key Cryptosystem

Identity-Based Signcryption from Lattices

Linearly Homomorphic Signature with Tight Security on Lattice

The cool and the cruel: separating hard parts of LWE secrets

Homomorphic Encryption Scheme and A Protocol on Secure Computing a Line by Two Private Points

On the Closest Vector Problem for Lattices Constructed from Polynomials and Their Cryptographic Applications

Achievable CCA2 Relaxation for Homomorphic Encryption

Probability Method for Cryptanalysis of General Multivariate Modular Linear Equation