Cited by 122Cryptography and Data SecurityCoding theory and cryptographyCryptography and Residue Arithmetic

Efficient Encryption From Random Quasi-Cyclic Codes

Open access
Aguilar-Melchor, Carlos, Blazy, Olivier, Deneuville, Jean-Christophe, Gaborit, Philippe, Zemor, Gilles·2018·IEEE Transactions on Information Theory

Abstract

We propose a framework for constructing efficient code-based encryption schemes that do not hide any structure in their public matrix. The framework is in the spirit of the schemes first proposed by Alekhnovich in 2003 and based on the difficulty of decoding random linear codes from random errors of low weight. We depart somewhat from Alekhnovich's approach and propose an encryption scheme based on the difficulty of decoding random quasi-cyclic codes. We propose two new cryptosystems instantiated within our framework: the hamming quasi-cyclic cryptosystem (HQC), based on the hamming metric, and the rank quasi-cyclic cryptosystem (RQC), based on the rank metric. We give a security proof, which reduces the indistinguishability under chosen plaintext attack security of our systems to a decision version of the well-known problem of decoding random families of quasi-cyclic codes for the hamming and rank metrics (the respective QCSD and RQCSD problems). We also provide an analysis of the decryption failure probability of our scheme in the Hamming metric case: for the rank metric there is no decryption failure. Our schemes benefit from a very fast decryption algorithm together with small key sizes of only a few thousand bits. The cryptosystems are very efficient for low encryption rates and are very well suited to key exchange and authentication. Asymptotically, for λ the security parameter, the public key sizes are respectively in O(λ2) for HQC and in O(λ 4/3) for RQC. Practical parameter compares well to the systems based on ring-learning parity with noise or the recent moderate density parity check codes system.

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

Crossref · 10.1109/tit.2018.2804444

Cites

1 of 1 references verified0 citation errors · 0 not checkable

Statistics

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • HQC is a KEM based on quasi-cyclic codes, where no trapdoor is hidden in the code.

    “HQC (Hamming Quasi-Cyclic) is a KEM based on quasi-cyclic codes, where no trapdoor is hidden in the code [27].”

    From Status report on the fourth round of the NIST post-quantum cryptography standardization process (2025) · cites this paper as [27]

    The Abstract (page unavailable) identifies HQC as a Hamming Quasi-Cyclic cryptosystem built within a framework whose public matrix hides no code structure. The Overview of Our Techniques and Presentation of the scheme (pages unavailable) describe an encryption scheme, not a key-encapsulation mechanism. Thus the quasi-cyclic and no-hidden-code-structure parts are supported, but calling the scheme presented here a KEM is not. (LLM, conf=0.88)

    Experimental — accuracy not yet measured
  • BIKE additionally assumes the hardness of QCCF, and Classic McEliece requires assumptions concerning binary Goppa codes.

    “BIKE additionally assumes the hardness of Quasi-Cyclic Codeword Finding (QCCF), and Classic McEliece requires assumptions concerning binary Goppa codes [27, 28].”

    From Status report on the fourth round of the NIST post-quantum cryptography standardization process (2025) · cites this paper as [27]

    The Background and Motivation and Comparison with the McEliece framework sections say that the original McEliece scheme uses Goppa codes and that its security depends on hiding the code's structure. This supports the Goppa-code portion in general, but the paper does not identify Classic McEliece or state that BIKE assumes the hardness of Quasi-Cyclic Codeword Finding; its Difficult Problems for Cryptography section instead defines QC syndrome-decoding problems. No page numbers were available in our copy. (LLM, conf=0.87)

    Experimental — accuracy not yet measured
  • Unlike the other code-based candidates, the only coding-theory hardness assumptions required by HQC's security proof are parameterizations of the decisional QCSD assumption.

    “Unlike the other code-based candidates, the only coding-theory hardness assumptions required by HQC's security proof are parameterizations of the decisional Quasi-Cyclic Syndrome Decoding (QCSD) assumption.”

    From Status report on the fourth round of the NIST post-quantum cryptography standardization process (2025) · cites this paper as [27]

    Section IV, “Security of the Scheme” (page not available), states that the scheme is IND-CPA secure under the 2-DQCSD and 3-DQCSD assumptions, supporting the claim about HQC’s security proof. The cited passages do not establish the comparison with other code-based candidates. (LLM, conf=0.85)

    Experimental — accuracy not yet measured
  • The HQC security reduction is independent of the decoding algorithm used for decryption.

    “This enables the security reduction to be independent of the decoding algorithm used for decryption [27].”

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Cites

Flagged first, then by citations

Research works printed but not linked: 43

  1. AIK07 Benny Applebaum, Yuval Ishai, and Eyal Kushilevitz. Cryptography with constant input locality. In Alfred Menezes, editor, CRYPTO 2007, volume 4622 of LNCS, pages 92-110. Springer, Heidelberg, August 2007.
  2. Ale03 Michael Alekhnovich. More on average case vs approximation complexity. In 44th FOCS, pages 298-307. IEEE Computer Society Press, October 2003.
  3. Julien Bringer, Hervé Chabanne, Gérard Cohen, Bruno Kindarji, and Gilles Zémor. Optimal iris fuzzy sketches. In Biometrics: Theory, Applications, and Systems, 2007. BTAS 2007. First IEEE International Conference on, pages 1-6. IEEE, 2007.
  4. BCGO09 Thierry P. Berger, Pierre-Louis Cayrel, Philippe Gaborit, and Ayoub Otmani. Reducing key length of the McEliece cryptosystem. In Bart Preneel, editor, AFRICACRYPT 09, volume 5580 of LNCS, pages 77-97. Springer, Heidelberg, June 2009.
  5. Ber10 Daniel J Bernstein. Grover vs. mceliece. In Post-Quantum Cryptography, pages 73-80. Springer, 2010.
  6. BJMM12 Anja Becker, Antoine Joux, Alexander May, and Alexander Meurer. Decoding random binary linear codes in 2 n/20 : How 1 + 1 = 0 improves information set decoding. In David Pointcheval and Thomas Johansson, editors, EUROCRYPT 2012, volume 7237 of LNCS, pages 520-536. Springer, Heidelberg, April 2012.
  7. Eli Ben-Sasson, Iddo Bentov, Ivan Damgård, Yuval Ishai, and Noga Ron-Zewi. On Public Key Encryption from Noisy Codewords. In Public Key Cryptography pages 417-446. 2016.
  8. BLP08 Daniel J Bernstein, Tanja Lange, and Christiane Peters. Attacking and defending the mceliece cryptosystem. In Post-Quantum Cryptography, pages 31-46. Springer, 2008.
  9. BMvT78 Elwyn R Berlekamp, Robert J McEliece, and Henk CA van Tilborg. On the inherent intractability of certain coding problems. IEEE Transactions on Information Theory, 24(3):384-386, 1978.
  10. CC98 Anne Canteaut and Florent Chabaud. A new algorithm for finding minimum weight words in a linear code: application to mceliece cryptosystem and to narrow-sense bch codes of length 511. IEEE Transactions on Information Theory, 44(1):367-378, 1998.
  11. CS16 Rodolfo Canto Torres and Nicolas Sendrier. Analysis of information set decoding for a sub-linear error weight. In Takagi [Tak16], pages 144-161.
  12. DV13 Alexandre Duc and Serge Vaudenay. Helen: a public-key cryptosystem based on the lpn and the decisional minimal distance problems. In International Conference on Cryptology in Africa, pages 107-126. Springer, 2013.
  13. FdVP08 Jean-Charles Faugère, Franc ¸oise Levy dit Vehel, and Ludovic Perret. Cryptanalysis of minrank. In David Wagner, editor, CRYPTO 2008, volume 5157 of LNCS, pages 280-296. Springer, Heidelberg, August 2008.
  14. FOPT10 Jean-Charles Faugère, Ayoub Otmani, Ludovic Perret, and Jean-Pierre Tillich. Algebraic cryptanalysis of McEliece variants with compact keys. In Gilbert [Gil10], pages 279-298.
  15. FS09 Matthieu Finiasz and Nicolas Sendrier. Security bounds for the design of code-based cryptosystems. In Mitsuru Matsui, editor, ASIACRYPT 2009, volume 5912 of LNCS, pages 88-105. Springer, Heidelberg, December 2009.
  16. Gab85 Ernest Mukhamedovich Gabidulin. Theory of codes with maximum rank distance. Problemy Peredachi Informatsii, 21(1):3-16, 1985.
  17. Gab05 Philippe Gaborit. Shorter keys for code based cryptography. In Proceedings of the 2005 International Workshop on Coding and Cryptography (WCC 2005), pages 81-91, 2005.
  18. GG07 Philippe Gaborit and Marc Girault. Lightweight code-based identification and signature. In 2007 IEEE International Symposium on Information Theory, pages 191-195. IEEE, 2007.
  19. GHT16 Philippe Gaborit, Adrien Hauteville, and Jean-Pierre Tillich. Ranksynd a PRNG based on rank metric. In Takagi [Tak16], pages 18-28.
  20. Gil10 Henri Gilbert, editor. EUROCRYPT 2010, volume 6110 of LNCS. Springer, Heidelberg, May 2010.
  21. GM84 Shafi Goldwasser and Silvio Micali. Probabilistic encryption. Journal of Computer and System Sciences, 28(2):270- 299, 1984.
  22. GMRZ13 Philippe Gaborit, Gaétan Murat, Olivier Ruatta, and Gilles Zémor. Low rank parity check codes and their application to cryptography. In Proceedings of the Workshop on Coding and Cryptography WCC'2013, Bergen, Norway, 2013. Available on www.selmer.uib.no/WCC2013/pdfs/Gaborit.pdf.
  23. GPT91 Ernst M. Gabidulin, A. V. Paramonov, and O. V. Tretjakov. Ideals over a non-commutative ring and thier applications in cryptology. In Donald W. Davies, editor, EUROCRYPT'91, volume 547 of LNCS, pages 482-489. Springer, Heidelberg, April 1991.
  24. GRS16 Philippe Gaborit, Olivier Ruatta, and Julien Schrek. On the complexity of the rank syndrome decoding problem. IEEE Transactions on Information Theory, 62(2):1006-1019, 2016.
  25. GRSZ14 Philippe Gaborit, Olivier Ruatta, Julien Schrek, and Gilles Zémor. New results for rank-based cryptography. In David Pointcheval and Damien Vergnaud, editors, AFRICACRYPT 14, volume 8469 of LNCS, pages 1-12. Springer, Heidelberg, May 2014.
  26. GZ16 Philippe Gaborit and Gilles Zémor. On the hardness of the decoding and the minimum distance problems for rank codes. IEEE Trans. Information Theory 62(12): 7245-7252 (2016).
  27. GJL15 Qian Guo and Thomas Johansson and Carl Löndahl, A New Algorithm for Solving Ring-LPN With a Reducible Polynomial, In IEEE Trans. Information Theory, vol. 61,(11), pp. 6204-6212, (2015)
  28. Stefan Heyse, Eike Kiltz, Vadim Lyubashevsky, Christof Paar, and Krzysztof Pietrzak. Lapin: An efficient authentication protocol based on ring-lpn. In Fast Software Encryption, pages 346-365. Springer, 2012.
  29. HT15 Adrien Hauteville and Jean-Pierre Tillich. New algorithms for decoding in the rank metric and an attack on the lrpc cryptosystem. In 2015 IEEE International Symposium on Information Theory (ISIT), pages 2747-2751. IEEE, 2015.
  30. LJK+16 Carl Löndahl and Thomas Johansson and Masoumeh Koochak Shooshtari and Mahmoud Ahmadian-Attari and Mohammad Reza Aref, Squaring attacks on McEliece public-key cryptosystems using quasi-cyclic codes of even dimension. In Des. Codes Cryptography, Vol. 80, pp. 359-377,2016.
  31. KMP14 Eike Kiltz, Daniel Masny, and Krzysztof Pietrzak. Simple chosen-ciphertext security from low-noise LPN. In Hugo Krawczyk, editor, PKC 2014, volume 8383 of LNCS, pages 1-18. Springer, Heidelberg, March 2014.
  32. LdVP06 Franc ¸oise Levy-dit Vehel and L Perret. Algebraic decoding of rank metric codes. Proceedings of YACC, 2006.
  33. Loi06 Pierre Loidreau. Properties of codes in rank metric. arXiv preprint cs/0610057, 2006. · arXiv
  34. LPR10 Vadim Lyubashevsky, Chris Peikert, and Oded Regev. On ideal lattices and learning with errors over rings. In Gilbert [Gil10], pages 1-23.
  35. MB09 Rafael Misoczki and Paulo S. L. M. Barreto. Compact McEliece keys from goppa codes. In Michael J. Jacobson Jr., Vincent Rijmen, and Reihaneh Safavi-Naini, editors, SAC 2009, volume 5867 of LNCS, pages 376-392. Springer, Heidelberg, August 2009.
  36. MTSB13 Rafael Misoczki, Jean-Pierre Tillich, Nicolas Sendrier, and Paulo SLM Barreto. Mdpc-mceliece: New mceliece variants from moderate density parity-check codes. In Information Theory Proceedings (ISIT), 2013 IEEE International Symposium on, pages 2069-2073. IEEE, 2013.
  37. Ove07 Raphael Overbeck. Public key cryptography based on coding theory. PhD thesis, TU Darmstadt, 2007.
  38. PW72 William Wesley Peterson and Edward J Weldon. Error-correcting codes. MIT press, 1972.
  39. Reg03 Oded Regev. New lattice based cryptographic constructions. In 35th ACM STOC, pages 407-416. ACM Press, June 2003.
  40. RS60 Irving S Reed and Gustave Solomon. Polynomial codes over certain finite fields. Journal of the society for industrial and applied mathematics, 8(2):300-304, 1960.
  41. Sen11 Nicolas Sendrier. Decoding one out of many. In International Workshop on Post-Quantum Cryptography, pages 51-67. Springer, 2011.
  42. SKK10 Danilo Silva, Frank R Kschischang, and Ralf Kotter. Communication over finite-field matrix channels. IEEE Transactions on Information Theory, 56(3):1296-1305, 2010.
  43. Tak16 Tsuyoshi Takagi, editor. Post-Quantum Cryptography -7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings, volume 9606 of Lecture Notes in Computer Science. Springer, 2016.

Cited by

Sorted by citations

Authors
Aguilar-Melchor, C., Blazy, O., Deneuville, J.-C., Gaborit, P., & Zemor, G.
Affiliations
  • XLIM (FR)
  • Université d'Orléans (FR)
Venue
IEEE Transactions on Information Theory
Published
2018-05
Volume
64
Issue
5
Pages
3927-3943
ISSN
  • 0018-9448 (ISSN-L)
  • 1557-9654
OpenAlex
W2566390621
Cited by
122
References
1
Citations by year
2026: 9 · 2025: 19 · 2024: 14 · 2023: 16 · 2022: 18 · 2021: 3 · 2020: 23 · 2019: 17 · 2018: 1 · 2017: 2
FWCI
6.16
Type
journal article
Language
en
Open access
Locations
  • IEEE Transactions on Information Theory (publishedVersion)
  • arXiv (Cornell University) (submittedVersion)
  • HAL (submittedVersion, other-oa)
  • Oskar-Bordeaux (Universite de Bordeaux) (submittedVersion)
  • arXiv (Cornell University)
Funders
Agence Nationale de la Recherche (ANR-17-CE39-0007)
Topics
  • Physical Sciences › Computer Science › Artificial Intelligence › Cryptography and Data Security
  • Physical Sciences › Computer Science › Artificial Intelligence › Coding theory and cryptography
  • Physical Sciences › Computer Science › Information Systems › Cryptography and Residue Arithmetic
Keywords
code-based cryptography, quasi-cyclic codes, chosen plaintext attack security, public key size, key exchange, authentication

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review