💻 computer science

DALC-CT: Dynamic Analysis of Low-Level Code Traces for Constant-Time Verification

In dit paper wordt DALC-CT voorgesteld, een open-source tool die dynamische analyse van lage-niveau uitvoeringstraces gebruikt om de constant-time eigenschap van cryptografische implementaties betrouwbaar te verifiëren door variaties in instructiemixen te detecteren.

Oorspronkelijke auteurs: Nges Brian Njungle, Edwin P. Kayang, Mishel J. Paul, Michel A. Kinsy

Gepubliceerd 2026-04-21

📖 4 min leestijd☕ Koffiepauze-leesvoer

CC BY 4.0

Oorspronkelijke auteurs: Nges Brian Njungle, Edwin P. Kayang, Mishel J. Paul, Michel A. Kinsy

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 supergeheime sleutel hebt om je huis te openen. Je wilt deze sleutel nooit laten zien. Maar wat als de manier waarop je de sleutel gebruikt, onbedoeld een geheim vertelt?

Dit is precies het probleem waar deze wetenschappelijke paper over gaat. Het introduceert een nieuwe manier om te controleren of computerprogramma's (vooral die voor cryptografie) hun geheimen echt veilig houden.

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

1. Het Probleem: De "Tik-Tak" Die Verraad

Stel je voor dat je een wachtwoord invoert op een computer.

De slechte manier (Niet constant): Als je het eerste lettertje goed hebt, denkt de computer: "Oh, goed zo!" en stopt hij direct. Als je het eerste lettertje fout hebt, duurt het even langer voordat hij zegt: "Nee, dat is fout."
Het gevaar: Een hacker kan luisteren naar hoe lang het duurt. Als het heel snel gaat, weet de hacker: "Ah, het eerste lettertje was goed!" Als het iets langer duurt, weet hij: "Het eerste was fout, maar misschien wel het tweede." Door dit duizenden keren te proberen, kan de hacker het wachtwoord raden, zonder de sleutel ooit te zien. Dit heet een tijds-gebaseerde aanval.

2. De Oplossing: De "Robot die Altijd Evenlang Doet"

Om dit te voorkomen, moeten programmeurs code schrijven die altijd even lang duurt, ongeacht of het wachtwoord goed of fout is.

De goede manier (Constant): De computer doet alsof hij het wachtwoord controleert, maar hij tikt altijd precies hetzelfde aantal keren, zelfs als hij al weet dat het fout is. Het is alsof je een robot hebt die altijd 10 seconden doet om een brief te lezen, of de brief nu zinvol is of niet.

Het probleem is: het is heel moeilijk om dit te bouwen. Zelfs als een programmeur het goed doet, kan de computer (de compiler) tijdens het vertalen van de code iets veranderen dat het weer onveilig maakt.

3. De Nieuwe Tool: DALC-CT (De "Instructie-Teller")

De auteurs van dit paper hebben een nieuwe tool gemaakt genaamd DALC-CT. In plaats van te luisteren naar de tijd (wat lastig is omdat andere programma's op de computer ook geluid maken en storing veroorzaken), kijken ze naar iets veel fundamentelers: de instructies.

Stel je voor dat je een kok hebt die een gerecht maakt.

De oude methode: Je kijkt naar de klok. "Hoe lang heeft het gekookt?" Maar als de wind waait of de gaspit variëert, is dat niet betrouwbaar.
De DALC-CT methode: Je telt precies hoeveel ingrediënten de kok gebruikt en in welke volgorde.
- Als de kok voor ingrediënt A altijd 3 snijbewegingen doet, maar voor ingrediënt B maar 2, dan is er een probleem. De kok "verraadt" wat hij aan het koken is door het aantal bewegingen.
- DALC-CT telt deze "bewegingen" (de computerinstructies) voor verschillende wachtwoorden. Als het aantal bewegingen verschilt, is de code niet veilig.

4. Hoe Werkt Het? (De "Spion in de Machine")

De tool werkt als een super-observant spion die in de computer zit:

Het programma starten: DALC-CT neemt een programma en voert het uit met verschillende wachtwoorden (bijvoorbeeld "abc" en "xyz").
De teller: Het telt precies welke "instructies" de computer uitvoert. Is het een optelbeweging? Een geheugenbeweging? Een beslissing?
De vergelijking: Het vergelijkt de tellers.
- Veilig: Voor "abc" en "xyz" doet de computer precies hetzelfde aantal optelbewegingen, geheugentoegang en beslissingen. De "recept" is identiek.
- Onveilig: Voor "abc" doet de computer 100 stappen, maar voor "xyz" doet hij maar 80 stappen. De tool schreeuwt: "STOP! Er is een verschil! De hacker kan dit gebruiken!"

5. Waarom is dit zo slim?

Onafhankelijk van ruis: Het maakt niet uit of er andere programma's op de computer draaien of dat de processor warm is. DALC-CT kijkt niet naar de tijd, maar naar de logica van de instructies.
Onafhankelijk van de programmeur: Het maakt niet uit of de programmeur het goed bedoelde of niet, of welke software de computer gebruikt. DALC-CT kijkt naar het eindresultaat: de machine-instructies.
Snel en betrouwbaar: Het heeft maar een paar keer nodig om het programma te draaien om fouten te vinden.

Samenvatting

Deze paper zegt eigenlijk: "Hoor niet naar hoe lang het duurt, maar tel hoeveel stappen de computer zet."

Als een computerprogramma voor een wachtwoord of een cryptografische sleutel altijd exact dezelfde stappen zet, ongeacht wat de gebruiker invoert, dan is het veilig. DALC-CT is de tool die dit telt en controleert of er geen "geheime kortere routes" zijn die hackers kunnen benutten. Het is een nieuwe, betrouwbare manier om te zorgen dat onze digitale sloten echt dicht blijven.

Probleemstelling

Tijdsafhankelijke zijkanalaanvallen (timing side-channel attacks) vormen een ernstige bedreiging voor cryptografische implementaties. Aanvallers kunnen gevoelige informatie, zoals geheime sleutels, reconstrueren door kleine variaties in de uitvoeringstijd van een programma te analyseren. Om dit te voorkomen, moeten programma's voldoen aan het constant-time-principe: de uitvoeringsgedraging (inclusief instructiestroom en timing) mag niet afhankelijk zijn van geheime invoer.

Het valideren van dit principe blijft echter een grote uitdaging:

Formele methoden vertrouwen vaak op abstracties die de werkelijke hardware-uitvoering niet volledig vastleggen.
Statistische tijdsmetingen (zoals Dudect) zijn zeer gevoelig voor ruis veroorzaakt door het besturingssysteem, andere processen en hardware-omgevingen, wat leidt tot onbetrouwbare resultaten.
Compilatie-optimalisaties kunnen zelfs in broncode die constant-time lijkt, variaties in de gegenereerde machinecode introduceren.

Er is dus behoefte aan een methode die de daadwerkelijke logische uitvoering op hardware-niveau analyseert zonder afhankelijk te zijn van externe timing-metingen of onvolledige abstracties.

Methodologie: DALC-CT

De auteurs stellen DALC-CT (Dynamic Analysis of Low-Level Code Traces) voor, een open-source tool die gebruikmaakt van dynamische analyse van low-level instructietraces. De kern van de methode is als volgt:

Dynamische Instrumentatie: In plaats van broncode te analyseren of simulaties te draaien, instrumenteert DALC-CT een gecompileerd binair bestand (binary) met behulp van Valgrind (een Dynamic Binary Instrumentation engine).
Trace-Verzameling: Het systeem voert de doel-functie uit met verschillende waarden voor de geheime invoer (secret inputs) en registreert de volledige reeks uitgevoerde instructies voor elke uitvoering.
Instructie-classificatie: De verzamelde instructies worden niet individueel geteld, maar gegroepeerd in 13 categorieën op basis van instructietype en datatype. Deze categorieën omvatten:
- Geheugeninstructies: Load/Store (Integer, Floating-point, Vector).
- ALU-instructies: Onderverdeeld in "Light" (bijv. optellen, bitbewerkingen, vaak 1 cyclus) en "Heavy" (bijv. vermenigvuldigen, delen, vaak meerdere cycli).
- Control-flow-instructies: Conditionele en onvoorwaardelijke sprongen.
Vergelijking van Instructiemix: Voor elke uitvoering wordt een vector gemaakt van de aantallen instructies per categorie. Als er een verschil is in de instructiemix (de verdeling van instructietypes) tussen twee uitvoeringen met verschillende geheime invoer, wordt dit beschouwd als een schending van het constant-time-principe.
Formele Basis: De methode definieert constant-time gedrag als de equivalentie van instructiemix-vectoren ( $\Phi(\tau_1) = \Phi(\tau_2)$ ) voor alle mogelijke geheime invoer.

Belangrijkste Bijdragen

Nieuwe Benadering: De introductie van een verificatiemethode die gebaseerd is op dynamische analyse van low-level instructietraces in plaats van tijdsmetingen of broncode-analyse. Dit biedt een concrete, logische weergave van het uitvoeringsgedrag.
DALC-CT Tool: De ontwikkeling van een open-source tool die automatisch binaire bestanden analyseert en constant-time schendingen detecteert.
Onafhankelijkheid: De methode is onafhankelijk van het besturingssysteem, de compiler, optimalisatieniveaus (zoals -O0, -O1, -O2) en de specifieke hardware-architectuur, zolang de instructiemix consistent blijft.
Robuuste Detectie: Het vermogen om variaties in de instructiestroom direct te koppelen aan geheime invoer, waardoor het de kloof overbrugt tussen theoretische verificatie en werkelijke hardware-uitvoering.

Resultaten

De auteurs hebben DALC-CT geëvalueerd op een reeks van 22 bekende voorbeelden, waaronder:

Wachtwoordverificatie: Een niet-constant-time implementatie (die voortijdig stopt bij een mismatch) toonde duidelijke variaties in de instructiemix afhankelijk van hoe lang het voorvoegsel van de invoer overeenkwam met het wachtwoord. De constant-time variant (die alle karakters vergelijkt) toonde identieke instructiemixen.
Modulaire Exponentiatie: Een naïeve implementatie (waarbij vermenigvuldiging alleen gebeurt bij een '1'-bit in de exponent) vertoonde variaties in het aantal uitgevoerde instructies. De constant-time variant (die altijd vermenigvuldigt en maskers gebruikt) behield een identieke instructiestroom.
Compiler-onafhankelijkheid: De tests werden uitgevoerd met GCC en Clang op verschillende optimalisatieniveaus. DALC-CT detecteerde consistent de schendingen in niet-constant-time code en bevestigde de correctheid van constant-time code, ongeacht de compiler of optimalisatie.
Efficiëntie: De tool kon in de meeste gevallen binnen enkele uitvoeringsrondes (vaak minder dan 5) schendingen detecteren.

Betekenis en Discussie

Praktische Toepasbaarheid: DALC-CT biedt een lichtgewicht en betrouwbare manier voor ontwikkelaars om constant-time eigenschappen te verifiëren zonder de complexiteit van formele verificatie of de onbetrouwbaarheid van tijdsmetingen.
Complementaire Rol: De methode vult bestaande tools aan. Waar formele methoden vaak te abstract zijn en statistische tests te gevoelig voor ruis, biedt DALC-CT een concrete analyse van de logische uitvoering.
Beperkingen:
- De tool detecteert geen micro-architecturale zijkanalen (zoals cache-timing of branch prediction) die kunnen optreden zelfs bij identieke instructietraces. Het focust puur op de logische instructiestroom.
- Omdat het een dynamische analyse is, is volledige dekking afhankelijk van de gebruikte invoer. De auteurs suggereren het combineren met fuzzing of symbolische uitvoering om alle mogelijke paden te testen.
Conclusie: DALC-CT bewijst dat het analyseren van instructietraces een krachtige, praktische en nauwkeurige methode is om de constant-time eigenschap van cryptografische software te valideren in de echte wereld.