Rigorous Foundations for Dual Attacks in Coding Theory - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2023

Rigorous Foundations for Dual Attacks in Coding Theory

Abstract

Dual attacks aiming at decoding generic linear codes have been found recently to outperform for certain parameters information set decoding techniques which have been for 60 years the dominant tool for solving this problem and choosing the parameters of code-based cryptosystems. However, the analysis of the complexity of these dual attacks relies on some unproven assumptions that are not even fully backed up with experimental evidence. These dual attacks can actually be viewed as the code-based analogue of dual attacks in lattice based cryptography. Here too, dual attacks have been found out those past years to be strong competitors to primal attacks and a controversy has emerged whether similar heuristics made for instance on the independence of certain random variables really hold. We will show that the dual attacks in coding theory can be studied by providing in a first step a simple alternative expression of the fundamental quantity used in these dual attacks. We then show that this expression can be studied without relying on independence assumptions whatsoever. This study leads us to discover that there is indeed a problem with the latest and most powerful dual attack proposed in [CDMT22a] and that for the parameters chosen in this algorithm there are indeed false candidates which are produced and which are not predicted by the analysis provided there which relies on independence assumptions. We then suggest a slight modification of this algorithm consisting in a further verification step, analyze it thoroughly, provide experimental evidence that our analysis is accurate and show that the complexity claims made in [CDMT22a] are indeed valid for this modified algorithm. This approach provides a simple methodology for studying rigorously dual attacks which could turn out to be useful for further developing the subject.
Fichier principal
Vignette du fichier
article.pdf (591.75 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04276901 , version 1 (09-11-2023)

Licence

Identifiers

Cite

Charles Meyer-Hilfiger, Jean-Pierre Tillich. Rigorous Foundations for Dual Attacks in Coding Theory. Theory of Cryptography Conference (TCC), Kai-Min, Bo-Yin Yang, Nov 2023, Taipei, Taiwan. pp.3--32, ⟨10.1007/978-3-031-48624-1_1⟩. ⟨hal-04276901⟩

Collections

INRIA INRIA2 ANR
37 View
25 Download

Altmetric

Share

More