Hardness of Structured Lattice Problems for Post-Quantum Cryptography
Difficultés de Problèmes de Réseaux Structurés pour la Cryptographie Post-Quantique
Résumé
The security of cryptographic protocols is based on the presumed difficulty of algorithmic problems. Among those identified so far, some of the best problems to serve as a foundation for quantum-proof cryptography come from lattices. Lattices are a mathematical structure defined as a set of space vectors generated by integer combinations of a finite number of linearly independent real vectors (its basis). A typical example of a related security problem is the Shortest Vector Problem (SVP). Given a base of an n-dimensional lattice, find a non-zero short vector. For efficiency reasons, these problems are restricted to lattices arising from number theory, known as structured lattices. As the security assumptions for these particular lattices are different from those for unstructured lattices, it is necessary to study them specifically, which is the aim of this thesis.
We have studied the case of NTRU and uSVP modules in rank 2, proving that the SVP problem is equivalent on these two families of lattices. We also show a worst-case to average-case reduction for rank-2 uSVP lattices. Then we show that solving SVP on a prime ideal of small norm is no easier than solving SVP on any ideal.
La sécurité des protocoles cryptographiques repose sur la difficulté présumée de problèmes algorithmiques. Parmi ceux qui ont été identifiés jusque-là, les meilleurs problèmes pouvant servir de fondation à une cryptographie résistante aux ordinateurs quantiques sont issus des réseaux euclidiens. Les réseaux euclidiens sont une structure mathématique définie comme un ensemble de vecteurs de l’espace générés par les combinaisons entières d’un nombre fini de vecteurs réels linéairement indépendants (sa base). Un exemple typique de problème de sécurité relié est le Shortest Vector Problem (SVP). Étant donné une base d’un réseau euclidien en dimension n, trouver un vecteur court non nul.
Pour des raisons d’efficacité, ces problèmes sont restreints à des réseaux issus de la théorie des nombres, dit structurés. Les hypothèses de sécurité relatives à ces réseaux particuliers étant différentes de celles des réseaux non structurés, il est nécessaire de les étudier spécifiquement, c’est l’objet de cette thèse.
Nous avons étudié le cas des modules NTRU et uSVP en rang 2, prouvant que le problème SVP est équivalent sur ces deux familles de réseaux. Nous montrons également une réduction pire-cas vers cas-moyens pour les réseaux uSVP en rang 2. Ensuite nous avons démontré que résoudre SVP sur un idéal premier de petite norme n’était pas plus facile que de résoudre SVP sur n’importe quel idéal.
Origine | Fichiers produits par l'(les) auteur(s) |
---|