💻 computer science

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

Questo studio analizza la sicurezza dell'acceleratore hardware Adams Bridge per la crittografia post-quantistica, dimostrando che la sua parziale mascheratura dell'INTT offre margini di sicurezza inferiori alle aspettative a causa di una sottovalutazione dell'entropia e della vulnerabilità agli attacchi analitici, ma identifica strategie di mascheratura ottimali che creano un divario irrecuperabile per gli attaccanti.

Autori originali: Ray Iskander, Khaled Kirah

Pubblicato 2026-04-21

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Ray Iskander, Khaled Kirah

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Il Titolo: "Il Ponte Adams e il Muro di Mattoni"

Immagina di dover costruire un castello fortissimo (il chip di sicurezza che protegge i nostri dati nel mondo post-quantistico) per difenderlo dai ladri del futuro (i computer quantistici).

Il problema è che costruire un muro di mattoni intatto ovunque costa troppo e rende il castello lento. Quindi, gli architetti del "Ponte Adams" (Adams Bridge) hanno avuto un'idea geniale ma rischiosa:

Hanno messo un muro di mattoni (mascheratura) solo sulla porta principale (il primo strato di calcoli).
Per il resto del castello, invece di costruire muri, hanno usato un sistema di trappole e corridoi che cambiano posizione ogni volta (mescolamento o shuffling).

La loro teoria era: "Se un ladro entra, non saprà mai dove sono i tesori perché i corridoi si spostano. Ci vorrà un miliardo di anni per indovinare la strada giusta!".

Questo articolo è come un ispettore di sicurezza indipendente che arriva, guarda i piani, e dice: "Ehi, forse non è così sicuro come pensate. Il sistema di trappole ha dei buchi e i ladri potrebbero trovare la strada più velocemente di quanto crediate."

Le 3 Scoperte Principali (Spiegate con Analogie)

1. Il Muro è troppo basso (La "Mascheratura" parziale)

Gli architetti hanno detto: "Abbiamo protetto il primo strato, il resto è sicuro perché i corridoi si mescolano."
L'ispettore ha scoperto che il 90% del castello è scoperto.

L'analogia: Immagina di nascondere un diamante in una stanza blindata (il primo strato), ma poi lo lasci in giro per il corridoio principale (gli altri strati) e dici: "Non preoccuparti, il corridoio cambia forma ogni secondo!".
Il problema: Se il ladro è intelligente, non ha bisogno di indovinare la forma del corridoio. Può guardare le impronte digitali che lasci mentre cammini. Anche se il corridoio cambia, le impronte rivelano dove sei stato. Gli architetti pensavano che il "cambio di corridoio" rendesse tutto impossibile, ma in realtà è come nascondere un oggetto sotto un tappeto che si muove solo di 64 posizioni: è facile da trovare se sai come muoverti.

2. Il Ladro ha una "Mappa Magica" (Attacco SASCA)

Gli architetti pensavano che il ladro dovesse provare a indovinare ogni singolo passaggio, uno alla volta (come cercare di aprire 100 lucchetti diversi).
L'articolo dice: "No, il ladro moderno non fa così. Usa una mappa che collega tutti i lucchetti tra loro."

L'analogia: Immagina di dover risolvere un enigma con 100 pezzi di puzzle.
- Il vecchio metodo (CPA): Provare a inserire ogni pezzo nel buco sbagliato finché non entra. Richiede anni.
- Il nuovo metodo (Belief Propagation/SASCA): Il ladro guarda i pezzi che già sono collegati tra loro. Se sa che il pezzo A è vicino al B, e il B è vicino al C, non deve indovinare tutto. Può dedurre la posizione di A guardando C.
- Il risultato: Questo metodo "intelligente" riduce il tempo di attacco da "miliardi di anni" a "pochi giorni" o "ore", perché sfrutta la struttura matematica del castello invece di ignorarla.

3. Il "Mescolamento" non è così mescolato (RSI vs Permutazione)

Gli architetti pensavano di avere un mazzo di carte mescolato perfettamente (quasi 100 trilioni di modi diversi di ordinarle).
L'ispettore ha controllato il codice e ha scoperto che in realtà usano un trucco: spostano il mazzo solo di 64 posizioni diverse.

L'analogia: Pensavano di avere un labirinto con un trilione di percorsi possibili. In realtà, hanno solo un labirinto con 64 percorsi. È come se il ladro dicesse: "Non devo cercare in tutto il mondo, basta che controlli queste 64 strade". È molto più facile.

Cosa hanno scoperto alla fine?

L'articolo non dice che il castello è crollato o che i ladri hanno già rubato tutto. Dice invece che il margine di sicurezza è molto più sottile di quanto pensassero gli architetti.

La stima degli architetti: "Ci vogliono 2^132 anni per violarlo" (un numero astronomico).
La stima degli ispettori: "Con le tecniche moderne, potrebbero volercene 2^60 o 2^65" (sempre molto, ma molto meno di prima).

È come dire: "Pensavamo che il muro fosse alto 100 metri, ma in realtà è alto 30. È ancora difficile da scalare, ma non è più impossibile."

I Consigli per il Futuro (Le Soluzioni)

L'articolo non si limita a criticare, ma dà consigli pratici per rendere il castello davvero sicuro senza spendere una fortuna:

Proteggi l'ingresso principale (Livello 1): È la cosa più importante. Se proteggi il primo strato, il ladro non può usare la sua "mappa magica" per collegare i pezzi. È come chiudere la porta blindata: se non entra, non può vedere nulla.
Il "Muro a Strisce" (Gap Masking): Invece di costruire muri ovunque (costoso), costruisci muri su 3 strati consecutivi nel mezzo. Questo crea un "buco" nel labirinto che la mappa magica del ladro non può attraversare. Risparmii soldi ma resti sicuro.
Non fidarsi solo del "mescolamento": Il mescolamento (spostare i corridoi) aiuta, ma non deve essere l'unica difesa. Deve essere un'aggiunta al muro, non il muro stesso.

In Sintesi

Questo articolo è un avvertimento gentile ma preciso per chi costruisce i sistemi di sicurezza del futuro.
Dice: "Avete fatto un ottimo lavoro, ma state contando troppo su un trucco (il mescolamento) che non è così potente come pensavate. Se proteggete meglio i punti critici e usate le nuove mappe dei ladri per testare le vostre difese, il vostro castello sarà davvero inespugnabile."

È come dire a un costruttore di auto: "La tua auto ha un ottimo motore, ma se il freno è debole, non importa quanto è veloce. Ecco come rafforzare il freno senza rallentare il motore."

Titolo: Mascheramento Parziale della Trasformata Numerica Teorica (NTT) nell'Hardware PQC: Un'Analisi del Margine di Sicurezza

1. Il Problema

Con la standardizzazione di FIPS 203 (ML-KEM) e FIPS 204 (ML-DSA) nel 2024, l'implementazione hardware di queste crittografie basate su reticoli è diventata critica per le infrastrutture di sicurezza. Il cuore di questi algoritmi è la Trasformata Numerica Teorica (NTT), un'operazione di moltiplicazione polinomiale ad alte prestazioni.
Proteggere completamente l'NTT contro le analisi di canale laterale (Side-Channel Analysis - SCA) tramite mascheramento booleano completo comporta un costo in area del silicio proibitivo. Di conseguenza, molti progettisti adottano strategie di mascheramento parziale: proteggono solo alcune operazioni (es. il primo strato INTT e le moltiplicazioni punto-punto) mentre lasciano gli altri strati non mascherati, affidandosi ad altre contromisure come lo shuffling (mescolamento dell'ordine di esecuzione) e argomentazioni sullo spazio di ricerca.

Il caso di studio analizzato è Adams Bridge, un acceleratore hardware per ML-DSA e ML-KEM progettato per il "root of trust" Caliptra. I progettisti di Adams Bridge affermano che la combinazione di mascheramento del primo strato e shuffling rende l'attacco "completamente impraticabile", stimando complessità di attacco (CPA) per farfalla (butterfly) di $2^{46}$ (ML-DSA) e $2^{96}$ (ML-KEM), con un margine di sicurezza totale che raggiungerebbe $2^{88}$ e $2^{132}$ rispettivamente grazie a un presunto effetto moltiplicativo dello shuffling.

2. Metodologia

Gli autori hanno condotto un'analisi sistematica dei margini di sicurezza dichiarati, combinando verifica formale, analisi della letteratura esistente e validazione empirica tramite simulazione.

Analisi della Letteratura e Valutazione delle Evidenze: Hanno esaminato oltre 30 pubblicazioni scientifiche, assegnando un livello di "confidenza epistemica" (Provenuto, Supportato dalla Letteratura, Estrapolazione, Speculativo) e indicando la provenienza (Software o Hardware) per ogni affermazione.
Verifica RTL (Register-Transfer Level): Hanno analizzato il codice sorgente RTL pubblico di Adams Bridge per verificare l'effettiva implementazione delle contromisure.
Pipeline di Attacco SASCA (Soft Analytical Side-Channel Attack): Hanno sviluppato una pipeline di attacco basata su simulazioni RTL che include:
- Costruzione del grafo fattoriale dell'NTT.
- Analisi di sensibilità del reticolo.
- Simulazione dello shuffling RSI (Random Start Index).
- Estrazione di TVLA (Test Vector Leakage Assessment) e SNR (Signal-to-Noise Ratio) a livello RTL.
- Attacco tramite template e propagazione di credenze (Belief Propagation - BP) su larga scala.
Analisi di Ablazione degli Strati: Hanno testato sistematicamente diverse configurazioni di osservazione degli strati dell'NTT per determinare le condizioni necessarie per la convergenza della propagazione di credenze.
Verifica Formale: Le affermazioni strutturali sono state verificate tramite strumenti SMT (Z3 e CVC5) per garantire la correttezza algebrica.

3. Contributi Chiave

Valutazione Strutturata delle Evidenze: Creazione di un framework riutilizzabile per auditare la sicurezza di acceleratori NTT parzialmente mascherati, taggando ogni affermazione con provenienza e livello di confidenza.
Caratterizzazione dello Shuffling RSI: Hanno dimostrato che Adams Bridge utilizza uno shuffling "Random Start Index" (RSI) a due livelli che genera solo 64 permutazioni (6 bit di entropia) per strato, invece delle $64! \approx 2^{296}$ permutazioni di un random full permutation (RP) assunte dai progettisti. Questo riduce drasticamente l'entropia reale.
Riduzione dello Spazio di Ricerca Algebrico: Hanno evidenziato che la struttura algebrica della farfalla Gentleman-Sande (GS) nell'INTT vincola le variabili, riducendo i gradi di libertà indipendenti e invalidando le stime di complessità CPA per farfalla ( $2^{46}$ / $2^{96}$ ) basate sull'indipendenza delle ipotesi.
Validazione Empirica della Propagazione di Credenze (BP): Hanno eseguito la prima validazione su larga scala della BP su un grafo fattoriale INTT completo (ML-KEM, 7 strati, 896 fattori) utilizzando parametri derivati da simulazioni RTL, dimostrando il recupero completo dei coefficienti.
Metodologia di Audit dei Margini di Sicurezza: Introduzione di un metodo che combina verifica RTL, scenari di sensibilità e validazione sperimentale per quantificare il divario tra le affermazioni dei progettisti e i limiti supportati dalla letteratura.

4. Risultati Principali

Margine di Sicurezza Ridotto: Sotto le ipotesi più favorevoli alla difesa (Scenario B), i margini di sicurezza reali sono stimati tra $2^{59}$ e $2^{63}$ per ML-DSA e $2^{61}$ e $2^{65}$ per ML-KEM. Questo è significativamente inferiore alle stime dei progettisti ( $\approx 2^{88}$ e $\approx 2^{132}$ ), con un divario di circa 25-29 bit per ML-DSA e 67-71 bit per ML-KEM.
Inefficacia dello Shuffling RSI: L'analisi mostra che lo shuffling RSI non si compatta moltiplicativamente ( $S^L$ ) come ipotizzato, ma offre un overhead lineare o nullo in scenari specifici. La ricerca dello shuffling è banale (solo 512 esecuzioni BP necessarie per ML-DSA contro un ipotetico $2^{42}$ ).
Divario di 37 Bit (Attacco Modello): La pipeline SASCA dimostra un divario di 37 bit rispetto al modello CPA dei progettisti. La complessità di enumerazione scende da $2^{46}$ a $2^9$ (512 run di BP) indipendentemente dai guadagni della BP, basandosi solo sull'accumulo di informazione reciproca (MI) e sull'enumerazione dello shuffling.
Recupero Completo con BP: Sulla simulazione del grafo completo ML-KEM, la BP raggiunge il 100% di recupero dei coefficienti a un rapporto segnale-rumore (SNR $\times$ N) di 3.000.
Barriere Strutturali e Topologia: L'analisi di ablazione rivela che il successo della BP dipende dalla topologia degli strati osservati, non solo dal numero.
- NC1 (Barriera Strutturale): Se lo strato 1 (L1) non è osservato, l'informazione è zero (MI=0) indipendentemente dal numero di tracce. Mascherare L1 crea una barriera strutturale insormontabile.
- Gap Topologico: 4 strati osservati equidistanti (es. L1, L3, L5, L7) permettono il recupero completo, mentre 4 strati consecutivi (L1-L4) falliscono completamente (0% recupero), anche se estraggono molta informazione.
Contromisure Ottimali: Mascherare strategicamente 3 strati centrali consecutivi (es. L3-L5) crea un "gap" di 3 strati non osservati che sconfigge gli attacchi SASCA a budget di tracce moderati, con un costo del 43% rispetto al mascheramento completo.

5. Significato e Implicazioni

Rischio per le Infrastrutture Critiche: Il divario tra i margini dichiarati e quelli reali suggerisce che i progettisti di hardware PQC potrebbero sottostimare i rischi delle contromisure parziali. Un margine di sicurezza eroso rende il sistema vulnerabile a futuri miglioramenti negli algoritmi di attacco o nelle tecniche di misurazione.
Shuffling non è Sostitutivo: Lo studio conferma che lo shuffling da solo (specialmente varianti semplificate come RSI) non è sufficiente a proteggere strati non mascherati contro attacchi algebrici moderni (SASCA/BP). Lo shuffling deve essere un complemento al mascheramento, non un sostituto.
Guida per i Progettisti: L'analisi fornisce una gerarchia di difese pratica:
1. Priorità 1: Mascherare obbligatoriamente lo strato di ingresso (L1) per creare una barriera strutturale.
2. Priorità 2: Utilizzare il "mascheramento strategico a gap" (3 strati centrali) per un compromesso costo-sicurezza efficace.
3. Priorità 3: Passare al mascheramento completo DOM (Domain-Oriented Masking) per la massima garanzia.
Metodologia Ripetibile: Il framework di audit proposto può essere applicato ad altri acceleratori PQC per valutare i margini di sicurezza prima della produzione del silicio, riducendo il rischio di vulnerabilità post-deploy.

In sintesi, il paper non dimostra che Adams Bridge sia attualmente "rotto" in un contesto reale (mancano ancora attacchi hardware completi con contromisure attive), ma dimostra matematicamente e sperimentalmente che i margini di sicurezza dichiarati sono ottimistici e che l'architettura attuale presenta vulnerabilità strutturali significative contro modelli di attacco avanzati che i progettisti non hanno considerato.