💻 computer science

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

Deze studie weerlegt de veiligheidsclaims van de Adams Bridge-hardwareversneller voor post-kwantumcryptografie door aan te tonen dat gedeeltelijke masking en shuffling onvoldoende bescherming bieden tegen zijkanalenaanvallen, en presenteert een auditmethode die aantoont dat strategische masking van drie opeenvolgende lagen een onoverkomelijke beveiligingskloof creëert.

Oorspronkelijke auteurs: Ray Iskander, Khaled Kirah

Gepubliceerd 2026-04-21

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Ray Iskander, Khaled Kirah

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Samenvatting: De "Adams Bridge" en de kwetsbaarheid van digitale sloten

Stel je voor dat je een zeer waardevol geheim (zoals een digitale sleutel voor bankrekeningen of overheidsdata) moet bewaren in een betonnen bunker. De ontwerpers van deze bunker, de Adams Bridge, hebben een slimme strategie bedacht om de deur te beveiligen tegen inbrekers die stroomverbruik meten (een techniek om te spioneren op elektronica).

Hun strategie is als volgt:

Ze hebben de eerste laag van de deur volledig versterkt met een onbreekbaar, digitaal slot (dit heet "masking").
Voor de rest van de lagen (de meeste van de deur) hebben ze geen extra sloten geplaatst. In plaats daarvan zeggen ze: "We hebben de volgorde waarin de deuren openen willekeurig gemaakt. Een inbreker moet dus raden welke deur eerst open gaat. Omdat er zoveel mogelijke volgordes zijn, is het onmogelijk om dit te kraken."

Dit artikel is een onderzoek van twee experts (Ray Iskander en Khaled Kirah) die zeggen: "Wacht even, die willekeurige volgorde is niet zo willekeurig als jullie denken, en de rest van de deur is kwetsbaar."

Hier is de uitleg in gewone taal, met een paar creatieve vergelijkingen:

1. Het probleem: De "Halve" Beveiliging

De ontwerpers van Adams Bridge wilden de beveiliging niet te duur maken (in termen van chipruimte). Ze dachten: "Als we maar de eerste laag beveiligen en de rest 'willekeurig' maken, is het veilig genoeg."

Ze beweerden dat een hacker zou moeten proberen 2 tot de macht 132 (een getal met 39 nullen) combinaties te proberen. Dat is meer dan het aantal zandkorrels op aarde. Ze dachten dus: "Onmogelijk te kraken."

2. De ontdekking: De "Willekeur" is nep

De onderzoekers keken in de blauwdrukken van de chip (de code) en ontdekten een groot probleem met de "willekeurige volgorde" (wat ze shuffling noemen).

De Analogie: Stel je voor dat je een deck kaarten moet schudden.
- Echte willekeur: Je gooit de kaarten in de lucht en pakt ze willekeurig op. Er zijn miljarden miljarden manieren om ze te ordenen.
- De Adams Bridge methode: Ze nemen het deck, kiezen een willekeurig startpunt (bijvoorbeeld de 5e kaart) en tellen dan gewoon door tot het einde, en beginnen weer bij het begin.
- Het resultaat: In plaats van miljarden mogelijkheden, zijn er slechts 64 manieren om de kaarten te leggen.

De onderzoekers zeggen: "Jullie denken dat jullie 296 bits aan willekeur hebben, maar jullie hebben er maar 6." Het is alsof je denkt dat je een slot hebt met een miljard combinaties, maar het is eigenlijk een slot met maar 64 cijfers. Dat is veel makkelijker te kraken.

3. De nieuwe aanval: De "Puzzel" in plaats van het "Gokken"

De ontwerpers dachten dat hackers elk stukje van de deur apart moesten kraken (zoals het raden van één cijfer per keer). Maar de onderzoekers gebruiken een slimme techniek genaamd Belief Propagation (Geloofsvoortplanting).

De Analogie: Stel je voor dat je een enorme, ingewikkelde puzzel hebt.
- De ontwerpers dachten: "Je moet elk stukje apart proberen in te passen. Dat duurt eeuwen."
- De onderzoekers zeggen: "Nee, kijk naar de randen van de puzzelstukken. Als je één stukje hebt, weet je al iets over het stukje ernaast. Als je ze allemaal samen bekijkt, lost de puzzel zich bijna vanzelf op."

Door de wiskundige relaties tussen de verschillende lagen van de chip te gebruiken, kunnen hackers de "willekeurige volgorde" en de geheime sleutel veel sneller vinden dan gedacht. Het is alsof je niet meer hoeft te gokken, maar gewoon de puzzelstukjes kunt laten "klikken" door hun onderlinge verbanden.

4. De bevindingen: Hoe veilig is het nu?

De onderzoekers hebben een simulatie gedaan (een digitale testomgeving) en ontdekten:

De kloof: De beveiliging is niet "onbreekbaar" zoals bewaard, maar ook niet direct "gekraakt". Er zit een gat in de argumentatie. De echte beveiliging is waarschijnlijk 25 tot 30 keer zwakker dan wat de ontwerpers beweren (in plaats van 2^132, is het misschien "slechts" 2^100 of lager).
De "Willekeur" is te zwak: Omdat de "willekeurige volgorde" slechts 64 opties biedt, kan een slimme hacker deze volgorde binnen een redelijke tijd uitrekenen.
De oplossing: Als je de eerste laag (die al beveiligd is) en nog drie lagen in het midden zou beveiligen, zou de puzzel weer onoplosbaar worden voor hackers. Dit kost iets meer ruimte op de chip, maar het is veel veiliger.

5. Wat betekent dit voor ons?

Dit artikel is geen bewijs dat de huidige systemen nu gekraakt worden. Het is een waarschuwing: "Jullie bouwen een muur die half zo sterk is als jullie denken."

Voor de ontwerpers: Het is beter om een beetje meer ruimte op de chip te gebruiken voor extra beveiliging (meer "sloten") dan te vertrouwen op een trucje met willekeurige volgordes dat niet werkt zoals bedoeld.
Voor de wereld: Omdat deze chips gebruikt worden voor de "roots of trust" (de basis van onze digitale veiligheid), is het cruciaal dat we deze fouten nu vinden, voordat kwantumcomputers of slimme hackers ze echt kunnen gebruiken.

Kortom: De ontwerpers dachten dat ze een ondoordringbare muur hadden gebouwd door de deuren willekeurig te plaatsen. De onderzoekers hebben laten zien dat de deuren eigenlijk in een vaste, voorspelbare rij staan die veel makkelijker te openen is. De boodschap is: Versterk de muur, vertrouw niet alleen op de chaos.

Probleemstelling

Met de standaardisering van ML-KEM (FIPS 203) en ML-DSA (FIPS 204) voor post-kwantumcryptografie, wordt de beveiliging van hardware-accelerators voor de Number Theoretic Transform (NTT) kritiek. De Adams Bridge-accelerator, ontworpen voor de Caliptra "root of trust", kiest voor een compromis: slechts één laag van de Inverse NTT (INTT) en de puntsgewijze vermenigvuldiging worden beschermd met Booleaanse masking (DOM-stijl), terwijl de overige 6-7 lagen volledig ongemaskerd blijven en vertrouwen op shuffling (verwarring van uitvoeringsvolgorde) als enige tegenmaatregel.

De ontwerpers claimen dat deze aanpak een enorme beveiligingsmarge biedt, met een complexiteit voor Correlation Power Analysis (CPA) van $2^{46}$ (ML-DSA) en $2^{96}$ (ML-KEM) per "butterfly"-operatie, versterkt door een multiplicatieve schaling van de shuffling ( $S^L$ ). Het artikel onderzoekt of deze claims standhouden tegenover gevestigde literatuur over side-channel attacks en of de ongemaskerde lagen voldoende beschermd zijn.

Methodologie

De auteurs hanteren een rigoureuze, evidence-gedreven aanpak om de beveiligingsmarges te auditeren zonder een volledige sleutelherwinning op hardware te demonstreren:

Gestructureerde Evidentie-evaluatie: Er wordt een analyse uitgevoerd van meer dan 30 gepubliceerde papers, waarbij elke claim wordt getagd met een "epistemisch vertrouwen" (Bewezen, Literatuur-ondersteund, Extrapolatie, Speculatief) en een bron (Software vs. Hardware).
RTL-analyse: De open-source RTL-code van Adams Bridge wordt geanalyseerd om de daadwerkelijke implementatie van de shuffling te verifiëren.
SASCA-pijplijn (Soft Analytical Side-Channel Attack): Een nieuwe aanvalspijplijn wordt ontwikkeld die RTL-simulaties gebruikt om lekken te extraheren. Deze pijplijn combineert:
- Factorgrafen voor Belief Propagation (BP).
- Analyse van de Random Start Index (RSI) shuffling.
- Template-aanvallen en Mutual Information (MI) berekeningen.
- Lattice-reductie (BKZ) voor sleutelherwinning.
Empirische Validatie: Experimenten worden uitgevoerd op gesimuleerde leakage (RTL-niveau) om de theoretische marges te testen. Dit omvat volledige Belief Propagation op de complete ML-KEM INTT-factorgraf (896 factoren, 2048 variabelen).
Machine-verificatie: Algebraïsche beweringen (zoals de beperkingen van de Gentleman-Sande butterfly) worden geverifieerd met SMT-oplossers (Z3 en CVC5).

Belangrijkste Bijdragen en Bevindingen

1. Foutieve Aannames over Shuffling (RSI vs. Volledige Permutatie)

De analyse onthult dat Adams Bridge Random Start Index (RSI) shuffling gebruikt in plaats van een volledige willekeurige permutatie.

Claim: Ontwerpers gaan uit van $64! \approx 2^{296}$ mogelijke volgorde per laag.
Realiteit: De RTL-implementatie biedt slechts $64$ mogelijke volgorde per laag (6 bits entropie) via een hiërarchisch systeem.
Gevolg: De shuffling biedt veel minder bescherming dan gedacht. De aanval hoeft niet $2^{296}$ permutaties te testen, maar slechts 64 per laag.

2. Algebraïsche Reductie van de Zoekruimte

De auteurs tonen aan dat de algebraïsche structuur van de Gentleman-Sande (GS) butterfly de onafhankelijke onbekenden reduceert.

Gegeven één output en de publieke twiddle-factor, is de andere output algebraïsch beperkt.
Dit verlaagt de per-butterfly complexiteit aanzienlijk (bijvoorbeeld van $2^{46}$ naar $2^{23}$ voor ML-DSA in een ideaal model), wat de basis voor de ontwerpers' claims ondermijnt.

3. De "37-bit" Aanvalsmarge-Gap

Door de SASCA-pijplijn toe te passen, vinden de auteurs een 37-bit reductie in de enumeratiecomplexiteit, onafhankelijk van Belief Propagation-gewinsten.

De complexiteit daalt van de ontwerpers' geschatte $2^{46}$ naar slechts $2^{29}$ (512 RSI-run combinaties).
Dit betekent dat de aanvalsmarge veel kleiner is dan de ontwerpers beweren, zelfs zonder gebruik te maken van geavanceerde BP-technieken.

4. Belief Propagation (BP) en Topologie

De studie voert de eerste volledige BP-validatie uit op de complete ML-KEM INTT-factorgraf.

Resultaat: 100% herwinning van coëfficiënten is mogelijk bij een SNR×N van 3.000.
Topologie is cruciaal: Het aantal geobserveerde lagen is minder belangrijk dan hun verdeling. 4 gelijkmatig gespreide lagen (bijv. L1, L3, L5, L7) leiden tot 100% herwinning, terwijl 4 opeenvolgende lagen (L1-L4) leiden tot 0% herwinning, ondanks dat ze evenveel informatie bevatten.
Structurele Barrière: Het maskeren van de eerste laag (L1) creëert een structurele barrière; zonder observatie van L1 is de wederzijdse informatie (MI) nul, ongeacht het aantal traces.

5. Empirische Validatie en Beperkingen

Hoewel de analyse een significant beveiligingsgat aantoont, benadrukken de auteurs dat er nog geen volledige sleutelherwinning op fysieke hardware is bewezen.

De resultaten zijn gebaseerd op RTL-simulatie en profielde aanvallen.
Er is een "pro-defender" argument: er is nog geen gepubliceerd SASCA-attack op hardware-NTT-implementaties met tegenmaatregelen.
Toch toont de analyse aan dat de huidige beveiligingsmarges (Scenario B) $2^{259}-2^{263}$ bedragen, wat $2^{25}-2^{29}$ lager is dan de ontwerpers' schattingen ( $2^{288}$ en $2^{2132}$ ).

Significantie en Aanbevelingen

De studie concludeert dat partial masking een legitieme engineering-trade-off is, maar dat de huidige beveiligingsclaims voor Adams Bridge te optimistisch zijn gebaseerd op verouderde of onjuiste aannames over shuffling en algebraïsche complexiteit.

Aanbevelingen voor ontwerpers:

Prioriteit 1 (Structureel): Masker de eerste INTT-laag (L1). Dit creëert een structurele barrière die geen enkele hoeveelheid traces kan overwinnen.
Prioriteit 2 (Kosteneffectief): Gebruik "Strategic Gap Masking". Het maskeren van 3 opeenvolgende midden-lagen (bijv. L3-L5) creëert een gat van $\geq 3$ in de observatie van de aanvaller. Dit biedt effectieve bescherming tegen BP-aanvallen bij gematigde trace-budgetten (43% van de kosten van volledige masking).
Verificatie: TVLA-tests moeten specifiek gericht zijn op de ongemaskerde fasen en niet alleen op geaggregeerde resultaten.
Aanvullend Onderzoek: Er is dringend behoefte aan hardware-SASCA-experimenten op FPGA's om de overdracht van RTL-simulatie naar fysieke silicon te valideren.

Conclusie:
Het artikel levert een gestructureerde, evidence-gedreven audit van PQC-hardware. Het waarschuwt dat vertrouwen op shuffling als vervanging voor masking riskant is en biedt een herbruikbare methodologie voor het auditeren van beveiligingsmarges in toekomstige post-kwantum-chips. De huidige implementatie van Adams Bridge heeft een aanzienlijke beveiligingsmarge-verlies ten opzichte van de claims, hoewel het nog steeds computatieel moeilijk is om de sleutel te breken, is de veiligheidsbuffer voor toekomstige verbeteringen in aanvalstechnieken onvoldoende.