×

A family of weak keys in HFE and the corresponding practical key-recovery. (English) Zbl 1251.94023

Summary: The HFE (hidden field equations) cryptosystem is one of the most interesting public-key multivariate schemes. It has been proposed more than 10 years ago by Patarin and seems to withstand the attacks that break many other multivariate schemes, since only subexponential ones have been proposed. The public key is a system of quadratic equations in many variables. These equations are generated from the composition of the secret elements: two linear mappings and a polynomial of small degree over an extension field. In this paper we show that there exist weak keys in HFE when the coefficients of the internal polynomial are defined in the ground field. In this case, we reduce the secret key recovery problem to an instance of the isomorphism of polynomials (IP) problem between the equations of the public key and themselves. Even though the hardness of recovering the secret key of schemes such as SFLASH or \(C^*\) relies on the hardness of the IP problem, this is normally not the case for HFE, since the internal polynomial is kept secret. However, when a weak key is used, we show how to recover all the components of the secret key in practical time, given a solution to an instance of the IP problem. This breaks in particular a variant of HFE proposed by Patarin to reduce the size of the public key and called the “subfield variant”. Recovering the secret key takes a few minutes.

MSC:

94A60 Cryptography
11T71 Algebraic coding theory; cryptography (number-theoretic aspects)

Software:

Magma; FGb; FLASH

References:

[1] DOI: 10.1006/jsco.1996.0125 · Zbl 0898.68039 · doi:10.1006/jsco.1996.0125
[2] DOI: 10.1006/jcss.1998.1608 · Zbl 0941.68059 · doi:10.1006/jcss.1998.1608
[3] DOI: 10.1007/BF01111042 · Zbl 0163.42402 · doi:10.1007/BF01111042
[4] DOI: 10.1016/S0022-4049(99)00005-5 · Zbl 0930.68174 · doi:10.1016/S0022-4049(99)00005-5
[5] McEliece R., DSN Progress Report pp 42– (1978)
[6] DOI: 10.1090/S0002-9947-1934-1501740-7 · doi:10.1090/S0002-9947-1934-1501740-7
[7] DOI: 10.1090/S0002-9947-1922-1501189-9 · doi:10.1090/S0002-9947-1922-1501189-9
[8] DOI: 10.1007/BF02943296 · Zbl 0614.94005 · doi:10.1007/BF02943296
[9] DOI: 10.1016/S0747-7171(08)80014-4 · Zbl 0716.68053 · doi:10.1016/S0747-7171(08)80014-4
[10] DOI: 10.1016/S0747-7171(08)80054-5 · Zbl 0722.12003 · doi:10.1016/S0747-7171(08)80054-5
[11] Wolf C., Journal of Mathematical Crypto 4 pp 349– (2011)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.