💻 computer science

Partial Number Theoretic Transform Masking in Post-Quantum Cryptography (PQC) Hardware: A Security Margin Analysis

Cette étude évalue la sécurité du masque partiel de l'adaptateur matériel Adams Bridge pour la cryptographie post-quantique, démontrant que l'entropie de son mélange est inférieure aux affirmations initiales mais qu'un masquage stratégique de trois couches consécutives intermédiaires suffit à créer une faille insurmontable contre les attaques analytiques douces.

Auteurs originaux : Ray Iskander, Khaled Kirah

Publié 2026-04-21

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Ray Iskander, Khaled Kirah

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

🛡️ Le Dilemme : La Forteresse Trop Lourde

Imaginez que vous construisez une forteresse ultra-sécurisée (le Caliptra, un composant vital de nos futurs ordinateurs) pour protéger nos secrets contre des ennemis du futur : les ordinateurs quantiques.

Pour que cette forteresse fonctionne, elle doit faire des calculs mathématiques très complexes et très rapides (le NTT). Le problème ? Ces calculs sont comme des lumières qui clignotent dans le noir. Un espion, même sans casser la porte, peut observer ces clignotements (la consommation d'électricité) pour deviner le secret. C'est ce qu'on appelle l'analyse par canal auxiliaire.

Pour cacher ces lumières, les ingénieurs ont deux options :

Tout masquer : Mettre un voile opaque sur chaque calcul. C'est très sûr, mais cela rend la forteresse énorme, lente et coûteuse à construire (trop de "silicium").
Masquer seulement un peu : Cacher les calculs les plus importants, et pour les autres, utiliser un brouillard (le "shuffling" ou mélange) pour que l'espion ne sache pas dans quel ordre les calculs sont faits. C'est moins cher et plus rapide.

Le projet Adams Bridge a choisi la deuxième option. Les concepteurs disent : "Ne vous inquiétez pas ! Même si on voit les lumières, le brouillard est si épais et les calculs si compliqués qu'il faudrait 2^132 ans pour casser le code. C'est inviolable."

🔍 L'Enquête : Le Détective Réalise que le Brouillard est Faux

C'est là que l'article de Ray Iskander et Khaled Kirah intervient. Ils agissent comme des détectives de sécurité qui viennent vérifier si cette forteresse est vraiment solide. Ils ne cassent pas le code eux-mêmes, mais ils analysent les plans pour voir si les promesses de sécurité tiennent la route.

Leur verdict est sans appel : La forteresse est beaucoup plus fragile que prévu.

Voici pourquoi, avec des analogies simples :

1. Le Brouillard n'est pas un brouillard, c'est un rideau de théâtre

Les concepteurs pensaient que leur "brouillard" (le mélange des calculs) était comme un tirage au sort complet où chaque calcul pouvait être à n'importe quel endroit. C'était comme si l'espion devait deviner l'ordre de 64 cartes mélangées parfaitement (ce qui est très difficile).

Mais en regardant les plans réels (le code informatique), les auteurs ont découvert que le "brouillard" était en fait très simple. Au lieu de mélanger les cartes au hasard, ils ne faisaient que décaler le début du jeu.

L'analogie : Imaginez que vous deviez deviner l'ordre de 64 personnes dans une file. Le concepteur dit : "Il y a 64! (un nombre astronomique) de façons de les ranger !"
La réalité : En fait, les personnes sont juste rangées par ordre, mais la file commence parfois à la personne n°1, parfois à la n°2, etc. Il n'y a que 64 possibilités réelles, pas des milliards.
Le résultat : L'espion n'a plus besoin de chercher dans un océan, il n'a qu'à regarder 64 options. Le "brouillard" est en fait un rideau de théâtre qu'on peut soulever très facilement.

2. Les Calculs ne sont pas indépendants (L'Effet Domino)

Les concepteurs pensaient que chaque calcul était une île isolée. Pour casser le code, il fallait résoudre chaque île séparément, ce qui prenait beaucoup de temps.

Les auteurs ont découvert que grâce à la structure mathématique (les "papillons" de Gentleman-Sande), les calculs sont liés comme des dominos.

L'analogie : Si vous connaissez le résultat d'un domino qui tombe, vous pouvez déduire presque instantanément ce que faisait le domino d'avant, sans avoir à le deviner.
Le résultat : Au lieu de devoir résoudre 246 énigmes complexes, l'attaquant n'en a plus que 23 à résoudre. La difficulté s'effondre.

3. Le "Brouillard" ne protège pas tout

Le papier montre que sur les 7 ou 8 étapes de calcul, une seule est bien protégée par un voile. Les 6 ou 7 autres sont laissées à découvert, comptant uniquement sur le "brouillard" (qui, comme on l'a vu, est faible).
C'est comme si vous protégez la porte d'entrée de votre maison avec un coffre-fort, mais que vous laissez toutes les fenêtres ouvertes en disant : "Ne vous inquiétez pas, il y a un peu de vent qui souffle, donc l'espion ne verra rien."

📉 Le Verdict : Combien de temps pour casser le code ?

Les concepteurs disaient qu'il faudrait 2^132 tentatives (un nombre plus grand que le nombre d'atomes dans l'univers).
Les auteurs ont recalculé en utilisant des méthodes modernes (comme la "Propagation de Croyance", une technique intelligente qui relie toutes les informations) :

Pour ML-DSA : La sécurité réelle est autour de 2^60. C'est encore très fort, mais c'est des milliards de fois plus faible que ce qui était promis.
Pour ML-KEM : C'est encore plus critique. La sécurité réelle est autour de 2^60 aussi, alors qu'ils promettaient 2^132. C'est une différence énorme.

L'analogie finale :
Les concepteurs ont construit un mur de 100 mètres de haut et ont dit : "Personne ne peut l'escalader."
Les auteurs ont dit : "En fait, ce mur a des échelles cachées et des trous. Il ne fait que 10 mètres de haut. Ce n'est pas inviolable, mais c'est encore difficile à grimper. Cependant, pour une forteresse destinée à durer 50 ans, 10 mètres ne suffisent pas."

💡 Que faut-il faire ? (Les Recommandations)

L'article ne dit pas "tout est perdu", mais il donne des conseils pour réparer la forteresse sans la détruire :

Ne comptez pas sur le brouillard seul : Il faut cacher (masquer) plus de calculs, pas seulement le premier.
La solution "Stratégique" : Au lieu de tout masquer (trop cher), masquez 3 étapes au milieu du processus. Cela crée un "trou" dans la file d'attente que l'espion ne peut pas traverser, même avec le brouillard. Cela coûte moins cher que tout masquer, mais c'est beaucoup plus sûr.
Vérifiez avant de construire : Il faut tester ces systèmes avec des simulations réalistes avant de les fabriquer en vrai, pour ne pas se rendre compte des failles trop tard.

🎯 En résumé

Ce papier est un rapport d'audit de sécurité. Il dit aux ingénieurs : "Vous avez fait un compromis entre la vitesse et la sécurité, c'est bien. Mais vous avez surestimé la sécurité de votre solution de rechange. Le 'brouillard' que vous utilisez est trop simple. Voici comment le rendre plus fort sans tout casser."

C'est un appel à la prudence pour que nos futurs systèmes de sécurité ne soient pas des coquilles vides.

Titre de l'analyse :

Analyse des marges de sécurité du masquage partiel de la Transformée de Théorie des Nombres (NTT) dans le matériel de cryptographie post-quantique : Le cas d'Adams Bridge.

1. Problématique

La standardisation des algorithmes post-quantiques ML-KEM (FIPS 203) et ML-DSA (FIPS 204) a conduit à leur intégration dans des racines de confiance matérielles (SoC), comme le projet Caliptra. L'opération critique de ces algorithmes est la multiplication de polynômes via la Transformée de Théorie des Nombres (NTT).

Le défi majeur pour les concepteurs matériels est le compromis entre la surface de silice (coût) et la sécurité face aux canaux auxiliaires (Side-Channel Analysis - SCA). Le masquage complet de toutes les couches de la NTT est très coûteux en surface. Par conséquent, des architectures comme Adams Bridge adoptent une stratégie de masquage partiel :

La première couche de la NTT inverse (INTT) et la multiplication point par point sont protégées par un masquage booléen d'ordre 1.
Les couches restantes (6 à 7 couches non masquées) reposent uniquement sur le mélange (shuffling) et des arguments de complexité de recherche pour résister aux attaques.

Les concepteurs d'Adams Bridge affirment que cette approche rend l'exploitation « totalement impraticable », estimant une complexité d'attaque par papillon (butterfly) de $2^{46}$ (ML-DSA) et $2^{96}$ (ML-KEM), amplifiée par le mélange.

L'objectif de cet article est d'évaluer rigoureusement ces affirmations de sécurité en les confrontant à la littérature existante sur les canaux auxiliaires et à des validations expérimentales, sans nécessairement réaliser une récupération complète de la clé sur du matériel réel, mais en quantifiant les marges de sécurité réelles.

2. Méthodologie

Les auteurs ont développé une méthodologie d'audit de sécurité structurée combinant :

Analyse RTL (Register-Transfer Level) : Vérification du code source ouvert d'Adams Bridge pour caractériser précisément le mécanisme de mélange utilisé.
Synthèse de la littérature : Évaluation de plus de 30 articles publiés, classés par niveau de confiance (Preuve, Soutenu par la littérature, Extrapolation, Spéculatif) et par provenance (Logiciel vs Matériel).
Scénarios de sensibilité : Construction de bornes de sécurité sous différentes hypothèses (du plus favorable à l'attaquant au plus favorable au défenseur).
Pipeline d'attaque SASCA (Soft Analytical Side-Channel Attack) :
- Extraction de fuites simulées à partir du RTL (modèle de distance de Hamming).
- Calcul de l'information mutuelle (MI) et estimation du nombre de traces nécessaires.
- Construction d'un graphe de facteurs complet de la NTT.
- Application de l'algorithme de Propagation de Croyance (Belief Propagation - BP) pour exploiter les dépendances algébriques entre les couches.
Validation par ablation de couches : Étude systématique de l'impact de l'observation de différentes combinaisons de couches sur la convergence de l'attaque.
Vérification formelle : Utilisation de solveurs SMT (Z3, CVC5) pour vérifier les fondements algébriques des arguments de réduction de complexité.

3. Contributions Clés

Caractérisation du Mélange (Shuffling) : L'analyse RTL révèle que le mécanisme utilisé n'est pas une permutation aléatoire complète ( $64! \approx 2^{296}$ ), mais un Random Start Index (RSI) hiérarchique. Cela ne génère que 64 ordres possibles par couche, soit 6 bits d'entropie (au lieu des 296 bits supposés par les concepteurs).
Réduction de l'Espace de Recherche Algébrique : La structure de la papillon Gentleman-Sande (GS) utilisée dans l'INTT impose une contrainte linéaire. Connaissant une sortie et le facteur de rotation public, l'autre sortie est contrainte, réduisant les degrés de liberté indépendants de 2 à 1.
Méthodologie d'Audit Réutilisable : Proposition d'un cadre d'évaluation combinant vérification RTL, étiquetage de la confiance épistémique et analyse de sensibilité, applicable à tout accélérateur NTT partiellement masqué.
Validation Empirique à Grande Échelle : Première validation de la propagation de croyance sur le graphe de facteurs complet de l'INTT ML-KEM (896 facteurs, 2048 variables) utilisant des paramètres de bruit dérivés du RTL.

4. Résultats Principaux

A. Écart de Sécurité (Security Margin Gap)

Les auteurs démontrent que les marges de sécurité revendiquées sont surestimées :

ML-DSA : La marge effective se situe entre $2^{59}$ et $2^{63}$ (selon les hypothèses défensives les plus fortes), soit un écart de 25 à 29 bits en dessous de l'estimation des concepteurs ( $\approx 2^{88}$ ).
ML-KEM : La marge effective est d'environ $2^{61}$ à $2^{65}$ , soit un écart de 67 à 71 bits en dessous de l'estimation des concepteurs ( $\approx 2^{132}$ ).
Gap d'Attaque (37 bits) : Une analyse de pipeline montre que l'utilisation d'attaques SASCA (au lieu de la CPA par papillon supposée par les concepteurs) réduit la complexité d'énumération de $2^{46}$ à $2^{29}$ (soit 512 exécutions de BP pour résoudre le mélange RSI), indépendamment des gains de la propagation de croyance.

B. Efficacité de la Propagation de Croyance (Belief Propagation)

Récupération Complète : Sur le graphe complet ML-KEM, la BP atteint une récupération de 100 % des coefficients à un rapport signal/bruit (SNR) × nombre de traces de 3 000.
Topologie vs Quantité : La réussite de l'attaque dépend de la topologie des couches observées, et non de leur nombre.
- 4 couches espacées régulièrement (ex: L1, L3, L5, L7) permettent une récupération à 100 %.
- 4 couches consécutives (ex: L1, L2, L3, L4) échouent à 0 %, même avec une information mutuelle élevée, en raison de la structure cyclique du graphe.
Barrière Structurelle (NC1) : L'observation de la première couche (L1) est critique. Si L1 n'est pas observée (car masquée), le graphe de facteurs se déconnecte structurellement des coefficients secrets, rendant la récupération impossible ( $MI \approx 0$ ), quelle que soit la quantité de traces.

C. Stratégies de Contre-mesures Optimisées

L'analyse propose une hiérarchie de défense basée sur les résultats :

Masquage de L1 : Indispensable pour créer une barrière structurelle infranchissable.
Masquage Stratégique (Gap Masking) : Masquer 3 couches consécutives du milieu (ex: L3-L5) crée un « trou » d'observation de taille $\ge 3$ . Cela rend l'attaque BP inefficace aux budgets de traces typiques (SNR×N $\le$ 5 000), offrant une protection à 43 % du coût d'un masquage complet.

5. Signification et Implications

Remise en question du compromis Coût/Sécurité : L'article démontre que le masquage partiel reposant uniquement sur le mélange (shuffling) est risqué. Le mélange RSI est beaucoup plus faible que prévu et ne compense pas l'absence de masquage sur la majorité des couches.
Limites de la TVLA : Le fait qu'Adams Bridge passe les tests TVLA (Test Vector Leakage Assessment) ne garantit pas l'absence de fuites exploitables par des attaques algébriques sophistiquées (SASCA) ou profilées.
Nécessité de nouvelles validations : Il manque encore une démonstration d'attaque SASCA sur du matériel réel (FPGA/ASIC) avec le mélange activé pour clôturer le débat. Cependant, les simulations RTL suggèrent fortement que la sécurité actuelle est insuffisante pour une infrastructure critique à long terme.
Recommandations pour les concepteurs :
- Ne pas se fier au mélange RSI comme seule protection.
- Privilégier le masquage de la première couche (L1) pour une protection structurelle.
- Envisager le masquage stratégique de couches intermédiaires pour un compromis coût/sécurité acceptable.
- Utiliser des outils de vérification formelle et des analyses de sensibilité dès la phase de conception.

Conclusion : L'article ne déclare pas Adams Bridge « cassé » dans un contexte de déploiement immédiat, mais il révèle un écart significatif entre les marges de sécurité revendiquées et celles soutenues par la littérature et les simulations. Il invite la communauté à adopter une approche plus rigoureuse pour évaluer les compromis de sécurité dans le matériel post-quantique.