💻 computer science

Trojan-Resilient NTT: Protecting Against Control Flow and Timing Faults on Reconfigurable Platforms

Dit artikel presenteert een beveiligde architectuur voor het getaltheoretische transformatie (NTT) voor herconfigureerbare platformen die effectief controle-flow onderbrekingen, onconventionele timingvertragingen en door hardware-Trojaanse paarden veroorzaakte Soft Analytical Side-Channel Attacks (SASCA) detecteert en corrigeert, terwijl het lage oppervlakte- en tijdskosten behoudt in implementaties van post-kwantumcryptografie.

Oorspronkelijke auteurs: Rourab Paul, Krishnendu Guha, Amlan Chakrabarti

Gepubliceerd 2026-04-28

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Rourab Paul, Krishnendu Guha, Amlan Chakrabarti

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

Stel je voor dat je een hoogbeveiligde bankkluis runt (de NTT, of Number Theoretic Transform). Deze kluis is de machinekamer voor een nieuw type digitaal slot genaamd Post-Quantum Cryptografie (gebruikt door systemen zoals Kyber). De taak ervan is om ongelooflijk complexe wiskunde zeer snel uit te voeren om je gegevens veilig te houden voor toekomstige supercomputers.

Er zijn echter twee hoofdmanieren waarop boeven kunnen inbreken:

De "Trojaanse Paard" Saboteur: Een klein, verborgen stukje hardware (een Hardware Trojan) dat in de machines van de kluis is geplant. Het steelt niet direct geld; in plaats daarvan manipuleert het de schakelaars en hendels (besturingssignalen) om te voorkomen dat de kluis werkt, het te traag laat draaien of het dwingt om de verkeerde deuren te openen.
De "Afluisterende Spion": Een spion die observeert hoe lang de kluis doet over het openen of hoeveel stroom het verbruikt (Side-Channel Attacks) om de geheime code te raden.

Dit artikel presenteert een nieuwe, superveilige versie van de kluis-engine genaamd Trojan-Resilient NTT. Hieronder wordt uitgelegd hoe dit werkt, met behulp van eenvoudige analogieën:

1. Het "Dubbelcheck"-Systeem (Control Flow Integrity)

Stel je voor dat de kluis een hoofdmanager heeft (de Control Unit) die opdrachten geeft zoals "Deur A openen" of "Berekening starten".

Het Probleem: Een saboteur kan zich erin sluipen en de opdrachten van de manager veranderen, waardoor de kluis instructies overslaat of in de verkeerde volgorde draait.
De Oplossing: De auteurs hebben een Schaduwmanager gebouwd (een lichtgewicht back-upregister). Deze Schaduwmanager doet geen echt werk; hij observeert alleen de hoofdmanager.
- Als de hoofdmanager zegt "Deur A openen", verwacht de Schaduwmanager op exact hetzelfde moment "Deur A openen" te zien.
- Als de hoofdmanager plotseling "Deur B openen" zegt of vastloopt, tilt de Schaduwmanager onmiddellijk een rode vlag: "Hé! De opdrachten komen niet overeen met het plan!"
- Waarom dit cool is: De Schaduwmanager is volledig gescheiden van de hoofdapparatuur. Zelfs als de saboteur de hoofdmanager hackt, kan hij de Schaduwmanager niet gemakkelijk hacken omdat deze anders is gebouwd en op een andere plek zit.

2. De "Stopwatch" (Clock Cycle Counter)

Stel je voor dat de kluis precies 10 seconden moet doen over het verwerken van een transactie.

Het Probleem: Een saboteur kan proberen de kluis te vertragen door een tandwiel vast te zetten, waardoor het 15 seconden duurt. Deze vertraging kan worden gebruikt om geheimen te stelen of het systeem gewoon te laten crashen.
De Oplossing: De kluis heeft een ingebouwde Stopwatch (Clock Cycle Counter). Deze telt elke enkele tik van de klok.
- Als de kluis in 10 tikken klaar is, is alles in orde.
- Als het 11 tikken duurt (omdat een saboteur een tandwiel heeft vastgezet), schreeuwt de Stopwatch: "Te traag! Er is iets mis!"
- Dit vangt elke poging om het proces te vertragen, of het nu een ongeluk is of een opzettelijke aanval.

3. De "Magische Masker" (Local Masking)

Stel je voor dat de kluis een geheim getal verwerkt. Een spion buiten kijkt naar de stroommeter om het getal te raden op basis van hoe hard de machine werkt.

Het Probleem: De spion ziet patronen in het stroomverbruik en raadt het geheim.
De Oplossing: De kluis gebruikt een Magisch Masker. Elke keer dat het een geheim getal neerschrijft, mengt het dit eerst met een willekeurig, nep-getal.
- Voor de spion lijkt het stroomverbruik op willekeurige ruis. Ze kunnen niet zien wat het echte geheim is omdat het altijd verborgen is achter een laagje "statische storing".
- De kluis weet hoe ze het masker aan het einde moet verwijderen om het echte antwoord te krijgen, maar de spion ziet niets dan chaos.

4. Het "Zelfhelende" Mechanisme (Adaptive Fault Correction)

Dit is het meest unieke deel. Als de kluis een probleem detecteert (een rode vlag van de Schaduwmanager of de Stopwatch), schakelt hij niet zomaar uit. Hij probeert zichzelf te repareren met drie niveaus van "reparatie":

Niveau 1: "Laten we dat nog eens proberen."
Als de fout een kleine storing was, gooit de kluis het slechte resultaat gewoon weg en voert die specifieke stap onmiddellijk opnieuw uit. Het is als een hardloper die over een steentje struikelt, weer opstaat en de ronde afmaakt zonder te stoppen.
Niveau 2: "Herstart dezelfde kamer."
Als de storing opnieuw optreedt, laadt de kluis zijn eigen instructies (de bitstream) opnieuw in op exact dezelfde plek op de chip. Het is als een computer die crasht en hetzelfde programma opnieuw start om een tijdelijke bug op te ruimen.
Niveau 3: "Verplaats naar een nieuwe kamer."
Als het probleem blijft optreden op dezelfde plek, beseft de kluis dat dat specifieke gebied van de chip misschien "vergiftigd" is door een saboteur. Het pakt een nieuwe set instructies en verplaatst de hele operatie naar een volledig andere, schone zone van de chip.
- Het Slimme Deel: Het systeem houdt een "Risicoscore" bij voor elke kamer in de chip. Als een kamer een geschiedenis van storingen heeft, vermijdt het systeem die. Als een kamer schoon is, stuurt het het werk daarheen.

De Resultaten

De auteurs hebben dit systeem getest op een echte chip (een FPGA) met behulp van de Kyber-encryptiestandaard.

Succespercentage: Ze simuleerden duizenden aanvallen (zoals tandwielen vastzetten of schakelaars veranderen). Het systeem ving 100% van de problemen op.
Kosten: De "Schaduwmanager", "Stopwatch" en "Magische Masker" maakten de kluis slechts iets groter (ongeveer 20% meer ruimte) en iets trager (een klein beetje energie).
Conclusie: Ze bewezen dat je een kluis kunt bouwen die niet alleen de deur vergrendelt, maar ook zijn eigen bewakers in de gaten houdt, zijn eigen bewegingen timet en kan verplaatsen naar een nieuwe kamer als de huidige kamer is gecompromitteerd, allemaal zonder de bank te laten springen.

Kortom, dit artikel bouwt een zelfbewuste, zelfhelende wiskundige engine die weigert bedrogen te worden door saboteurs die proberen zijn besturing of timing te manipuleren.

1. Probleemstelling

De Number Theoretic Transform (NTT) is een kritiek onderdeel in roostergebaseerde Post-Quantum Cryptografie (PQC) algoritmen (zoals Kyber, Dilithium, NTRU), die de complexiteit van polynoomvermenigvuldiging reduceert van $O(n^2)$ naar $O(n \log n)$ . Echter, NTT-implementaties op herconfigureerbare platforms zoals FPGA's zijn kwetsbaar voor:

Hardware Trojans: Kwaadaardige wijzigingen die tijdens de supply chain worden ingebracht (RTL, synthese, fabriek of bitstream-fasen) en die besturingssignalen targeten in plaats van data. Een enkel corrupt besturingssignaal kan de gehele control flow verstoren of onconventionele vertragingen introduceren, wat leidt tot catastrofale storingen of informatielekken.
Side-Channel Attacks (SCA): Specifiek Soft Analytical Side-Channel Attacks (SASCA), waarbij tegenstanders lekken in stroomverbruik of timing benutten om geheime shares te herstellen.
Beperkingen van Bestaande Oplossingen: Eerdere werken richten zich voornamelijk op het detecteren van fouten in datasignalen (waarbij zware herberekening nodig is) of gebruiken duplicatie van logica voor de control flow die strak gekoppeld is aan het hoofdontwerp, waardoor deze eveneens vatbaar is voor dezelfde Trojans. Er ontbreken oplossingen die gelijktijdig control-flow verstoringen, timing-anomalieën en SASCA detecteren en adaptieve correctie bieden zonder significante prestatie-overhead.

2. Methodologie

De auteurs stellen een Secure NTT-architectuur voor die drie primaire detectiemechanismen en een adaptief foutcorrectiesysteem integreert.

A. Foutdetectiemechanismen

Control Flow Integrity (CFI) via Onafhankelijke Back-up CSR:
- In plaats van de hoofd-Control Status Register (CSR) binnen de logica te dupliceren (wat een Trojan zou kunnen corrupteren), introduceren de auteurs een lichtgewicht Right Shift Register (RSR) dat volledig onafhankelijk is van de hoofd-NTT-logica.
- De hoofd-CSR genereert besturingssignalen (zoals rd_en, wr_en, barrett_strt). De RSR bewaakt deze signalen.
- Logica: De RSR schuift bits synchroon met de hoofd-CSR. Als de hoofdlogica wordt gemanipuleerd (bijvoorbeeld door een Trojan die een klok blokkeert of een reset omdraait), zal de verwachte toestand van de RSR afwijken van de daadwerkelijke besturingssignalen, wat een cfi_fault activeert.
- Dit verifieert de integriteit van specifieke blokken: poly_mem, Barrett Reduction en uv_add/sub.
Timing Integriteit via Clock Cycle Counter (CCC):
- Een CCC bewaakt de actieve duur van kritieke modules.
- Voor een polynoom van graad $n-1$ vereist de NTT een vast aantal cycli: $(\log n \times n/2) + (p-1)$ , waarbij $p$ de pipeline-diepte is.
- Als een Trojan vertragingen introduceert (de pipeline stalling) of bewerkingen versnelt, detecteert de CCC de afwijking van het verwachte cyclustelling en activeert een ccc_fault.
SASCA Mitigatie via Lokale Maskering (LM):
- Om SASCA te voorkomen, randomiseert de architectuur de twiddle-factoren ( $\omega$ ) tijdens schrijfbewerkingen naar het polynoomgeheugen (poly_mem).
- In plaats van direct $(U+V)$ en $(U-V)$ te schrijven, schrijft het systeem $(U+V)\omega_r$ en $(U-V)\omega_r$ , waarbij $\omega_r$ een willekeurige factor is.
- Dit maskeert het stroomverbruiksprofiel dat geassocieerd is met de daadwerkelijke data en voorkomt lekken. Bij de Inverse NTT worden de factoren vermenigvuldigd met $\omega_r^{-1}$ om de oorspronkelijke coëfficiënten te herstellen.

B. Adaptieve Foutcorrectie

Bij detectie van een fout (cfi_fault of ccc_fault) hanteert het systeem een Bit Patcher (software aan de host-kant) en Partial Reconfiguration (PR) om de fout te corrigeren zonder het systeem permanent te stilleggen. De correctiestrategie is adaptief op basis van een Risicofactor ( $R_i$ ):

Berekening Risicofactor ( $R_i$ ): Het systeem berekent een risicoscore voor elke beschikbare PR-bitstreamlocatie op basis van de frequentie van gedetecteerde fouten, genormaliseerd naar het aantal runs. Dit voorkomt bias naar veelgebruikte cores.
Drie Correctiemaatregelen:
1. Herhaal Vorige Lus (Laag Risico): Als het foutenaantal laag is, verworpt het systeem het resultaat van de huidige iteratie en voert de lus opnieuw uit met dezelfde bitstream.
2. Herlaad PR-bit (Middel Risico): Als het foutenaantal een lagere drempel overschrijdt, laadt het systeem dezelfde PR-bitstream opnieuw naar dezelfde FPGA-locatie (om potentiële transiënte toestanden te resetten).
3. Verplaats PR-bit (Hoog Risico): Als het foutenaantal een hogere drempel overschrijdt, selecteert het systeem een PR-bitstream met de laagste $R_i$ (laagste risico) en configureert de NTT opnieuw op een andere fysieke locatie op de FPGA-floor.
Dynamische Interconnects: Bus-interconnects routeren besturingssignalen en geheugeninterfaces dynamisch naar de momenteel actieve NTT-instantie, wat naadloze schakeling tussen PR-locaties mogelijk maakt.

3. Belangrijkste Bijdragen

Eerste Op Control Flow Gerichte Verdediging: In tegenstelling tot eerdere werken die zich richten op datasignalen, is dit het eerste ontwerp dat specifiek Trojans op besturingssignalen target met behulp van een onafhankelijke, lichtgewicht back-upregister (RSR) om Control Flow Integrity (CFI) te waarborgen.
Adaptieve Correctiestrategie: Introduceert een nieuw foutcorrectie-algoritme dat dynamisch kiest tussen herberekening, herladen of verplaatsen op basis van een berekende risicofactor ( $R_i$ ), in plaats van een statische "altijd verplaats"-benadering.
Uitgebreide Bescherming: Adresseren gelijktijdig Control Flow Integrity, Timing-fouten (via CCC) en SASCA (via Lokale Maskering) in één architectuur.
Minimale Overhead: De oplossing is ontworpen voor hoge efficiëntie en vermijdt de zware resourcekosten van volledige herberekening of massale duplicatie.

4. Resultaten en Evaluatie

Het systeem is geïmplementeerd op een Artix-7 FPGA met het Kyber PQC-algoritme (varianten 512, 768 en 1024).

Foutdetectie en Correctie-efficiëntie:
- 100% Detectiepercentage: Alle geëmulgeerde "Stuck-at-0" en "Stuck-at-1" fouten op besturingssignalen werden gedetecteerd door de CFI- en CCC-modules.
- 100% Correctiepercentage: Alle gedetecteerde fouten werden succesvol gecorrigeerd met de adaptieve module, waardoor een correct cryptografisch output werd gegarandeerd.
Overhead-analyse:
- Oppervlakte: De modules voor foutdetectie en correctie veroorzaken een 19,7% slice-overhead ten opzichte van een basis-NTT. De module voor alleen detectie voegt slechts 8,7% toe.
- Energie: Totale energie-overhead is 3%.
- Timing:
  - Detectie voegt nul timing-overhead toe.
  - Correctie-overhead hangt af van de maatregel:
    - Herhaal Lus: ~10 ns (1 klokcycli).
    - Herlaad PR: ~150 µs (ICAP-overdrachttijd).
    - Verplaats PR: ~256 µs (inclusief zoeken naar de beste bitstream).
Trojan-scenario's: Het systeem mitigeert effectief Trojans die zich bevinden in de upstream/downstream datapaden, binnen de NTT-core, en zelfs binnen de bewakingslogica (hoewel het laatste wordt aangemerkt als een kritiek falingspunt als de monitor zelf wordt g compromitteerd).

5. Betekenis

Dit artikel presenteert een significante doorbraak in hardwarebeveiliging voor Post-Quantum Cryptografie. Door de focus te verschuiven van data-integriteit naar control flow integriteit, adresseert het een hoog-impact, laag-kost aanvalsvectoren die vaak worden genegeerd door traditionele foutdetectie. Het adaptieve correctiemechanisme biedt een praktische balans tussen beveiliging en prestaties, waardoor systemen kunnen herstellen van geavanceerde hardware Trojans met minimale latentie en resource-boete. Dit werk ebaat de weg voor het inzetten van veerkrachtige PQC-versnellers in kritieke infrastructuur (defensie, lucht- en ruimtevaart, telecommunicatie) waar supply chain-beveiliging niet volledig gegarandeerd kan worden.