Sécuriser l’ère quantique : les nouvelles normes de chiffrement de NIST et leur impact sur la cybersécurité

COMMENTAIRE : L’Institut national des normes et de la technologie (NIST) a récemment publié le premier ensemble de normes fédérales de traitement de l’information (FIPS) dédié à la cryptographie post-quantique (PQC). Ces normes fournissent un cadre pour protéger des informations sensibles contre les menaces potentielles des ordinateurs quantiques, qui pourraient un jour compromettre les protocoles de chiffrement existants. Dans le monde entier, des institutions, y compris des organismes gouvernementaux et de grandes organisations financières, disposent désormais d’une base pour mettre en œuvre ces normes PQC afin de préparer leurs systèmes à l’avenir. Cela peut également être utile pour les fournisseurs de services de sécurité managés (MSSP) lors de l’implémentation de systèmes de cybersécurité et en conseillant leurs clients sur la protection PQC. Mais à quel point sommes-nous sûrs que ces normes peuvent résister aux attaques quantiques ? La réponse est plus complexe qu’il n’y paraît.

La menace quantique pour la cryptographie classique

Les systèmes cryptographiques actuels reposent sur des problèmes mathématiques extrêmement complexes à résoudre pour les ordinateurs classiques. Ces problèmes, tels que la factorisation d’entiers de grande taille ou la résolution de logarithmes discrets, constituent la base des méthodes de chiffrement largement utilisées, sécurisant tout, des transactions bancaires en ligne aux messages privés. Cependant, en 1994, le chercheur Peter Shor a découvert un algorithme capable de résoudre facilement ces problèmes, à condition de disposer d’un ordinateur quantique suffisamment puissant. L’algorithme de Shor a démontré que de nombreux protocoles cryptographiques existants seraient vulnérables si la technologie des ordinateurs quantiques atteignait un certain niveau.

Cette prise de conscience a conduit au développement de la cryptographie post-quantique (PQC), un domaine émergent axé sur la création de méthodes de chiffrement que même un ordinateur quantique aurait du mal à déchiffrer. Les normes PQC du NIST, y compris des algorithmes comme ML-KEM et ML-DSA, reposent sur des problèmes mathématiques liés aux réseaux modulaires qui sont supposés résister aux attaques quantiques. Bien que le NIST ne puisse garantir que ces problèmes basés sur les réseaux resteront sains face à des percées quantiques dans un avenir lointain, nous avons une assez bonne confiance en leur résistance quantique, car les chercheurs ont essayé pendant des décennies de résoudre ces problèmes sans succès.

La preuve de sécurité derrière les normes

Mais comment évaluer la sécurité de ces normes ? Les normes PQC du NIST sont accompagnées de preuves théoriques qui soutiennent leur résistance aux attaques quantiques, à condition que certaines hypothèses soient respectées. Par exemple, les preuves de sécurité pour ML-KEM et ML-DSA supposent que les problèmes de réseau sous-jacents sont difficiles à résoudre pour les ordinateurs quantiques. Cette approche, connue sous le terme de « preuve par réduction », montre que si un attaquant pouvait déjouer ML-KEM ou ML-DSA, il pourrait également résoudre le problème de réseau sous-jacent, qui est supposé être résistant aux technologies quantiques.

Le problème réside dans le fait que ces preuves ne sont aussi solides que les hypothèses sur lesquelles elles reposent. Bien que le consensus actuel au sein de la communauté cryptographique soit que ces problèmes de réseau sont sécurisés, il n’existe aucun moyen de le prouver de manière définitive. Autrement dit, si un jour quelqu’un trouve un algorithme quantique efficace pour résoudre ces problèmes de réseau, la sécurité de ces normes PQC serait probablement compromis.

Le rôle des fonctions de hachage et le modèle d’oracle aléatoire

Un élément clé dans de nombreux schémas cryptographiques, y compris la PQC, est la fonction de hachage, une fonction mathématique qui génère une chaîne de taille fixe à partir de n’importe quelle entrée. Dans la plupart des applications cryptographiques, les fonctions de hachage doivent être résistantes aux collisions, ce qui signifie qu’il devrait être difficile de trouver deux entrées produisant le même résultat. Les normes PQC du NIST utilisent des fonctions de hachage à diverses fins, telles que la compression de données ou la protection contre une mauvaise randomisation du système, etc. Mais les preuves de sécurité de ces normes reposent sur une hypothèse plus forte : celle que les résultats de hachage sont parfaitement aléatoires. Cette hypothèse, connue sous le nom de « modèle d’oracle aléatoire » (ROM), est une construction théorique utilisée pour simplifier les preuves de sécurité.

Le ROM envisage un scénario où toutes les parties impliquées ont accès à un « oracle aléatoire », une boîte noire hypothétique qui fournit des valeurs de hachage aléatoires et cohérentes pour chaque entrée unique. Ce modèle permet aux cryptographes de créer des preuves de sécurité en supposant que la fonction de hachage est idéalement aléatoire, mais c’est une hypothèse qui ne se traduit pas parfaitement dans la réalité. En pratique, des fonctions de hachage réelles comme SHA3-256, utilisées dans les normes du NIST, ne produisent pas véritablement des résultats aléatoires. Bien que les preuves de sécurité utilisant le ROM portent une forte indication de la sécurité d’un schéma, elles ne sont pas infaillibles.

Adapter aux capacités quantiques : le modèle d’oracle aléatoire quantique

Dans un monde post-quantique, un adversaire quantique pourrait être en mesure d’exploiter les propriétés d’une fonction de hachage d’une manière que les attaquants classiques ne peuvent pas. Par exemple, un attaquant quantique pourrait évaluer une fonction de hachage comme SHA3-256 en superposition quantique, accélérant sa capacité à trouver des collisions et compromettant potentiellement la sécurité du schéma. Le ROM classique ne traite pas entièrement cette situation.

Les chercheurs ont développé un modèle amélioré appelé le Modèle d’oracle aléatoire quantique (QROM) pour tenir compte de cela. Le QROM permet aux preuves de sécurité de considérer des attaquants dotés de capacités quantiques pouvant accéder à l’oracle aléatoire de manière quantique. Les cryptographes peuvent évaluer plus précisément comment ces schémas fonctionneraient face à un attaquant quantique en simulant cet accès dans les preuves de sécurité. Bien que ce modèle soit encore théorique, il représente une étape essentielle vers la compréhension et la sécurisation des normes PQC face aux menaces quantiques.

Avancer avec la PQC et la cryptographie quantique-sécurisée

Les défis de la preuve de sécurité des normes PQC à la fois dans le ROM et le QROM soulignent les complexités liées à la garantie de résilience cryptographique dans un monde post-quantique. Les preuves de sécurité actuelles dans ces modèles fournissent des indications solides sur la robustesse des normes PQC, mais elles ne sont pas garanties. Le ROM et le QROM servent d’heuristiques, ou de meilleures estimations, qui aident à identifier les faiblesses potentielles. Ils permettent aux cryptographes de corriger les vulnérabilités possibles dans la conception des schémas cryptographiques, s’assurant que toute faille provienne probablement des fonctions de hachage elles-mêmes plutôt que de la structure plus large du protocole cryptographique.

Malgré les limites de ces modèles, les normes PQC du NIST représentent une avancée significative dans la préparation à un avenir quantique. Bien que les chercheurs continuent à rechercher des failles et à explorer des solutions alternatives, ces normes offrent aux institutions des outils précieux pour protéger des données sensibles contre des menaces actuelles et futures.

.