Comparative Timing Characterization of Early-Exit and Fixed-Work Secret Comparisons on ESP32 and ESP8266

In de verborgen wereld van computerbeveiliging bestaat een stille dreiging die niets te maken heeft met gebroken sloten of gestolen sleutels. Het gaat over tijd. Wanneer een computer controleert of een geheime code overeenkomt met een wachtwoord, doet hij dat meestal door de twee reeksen tekens één voor één te vergelijken. Als de eerste letter fout is, stopt een standaardprogramma onmiddellijk en zegt "nee". Als de eerste tien letters goed zijn en de elfde fout, blijft het programma doorwerken totdat het die fout vindt. Dit verschil in hoe lang de computer nodig heeft om na te denken, kan een lek vormen. Een deskundige waarnemer, die kijkt naar hoe lang een reactie duurt, zou theoretisch de seconden kunnen tellen om te achterhalen hoeveel letters er correct waren voordat de fout optrad. Dit staat bekend als een timing side-channel, een manier om informatie te stelen niet door de code te breken, maar door naar de klok te luisteren. Decennialang hebben beveiligingsexperts gewaarschuwd dat software zo geschreven moet worden dat deze exact even lang duurt, ongeacht waar de fout optreedt, een praktijk die constant-time programmeren wordt genoemd. Maar op de kleine, goedkope chips die alles aandrijven, van smart home-apparaten tot eenvoudige sensoren, is het niet altijd duidelijk of deze regels in de echte wereld standhouden, of dat de hardware zelf nieuwe verrassingen introduceert.

Een recente studie zette zich af om deze realiteit te testen op twee van de meest voorkomende microchips ter wereld: de ESP32 en de ESP8266. Deze chips zijn de hersenen achter talloze betaalbare internetverbonden apparaten. De onderzoeker bouwde alleen twee verschillende manieren waarop deze chips geheime 16-byte codes kunnen vergelijken. De eerste methode was de standaard, kwetsbare aanpak: deze zou stoppen zodra er een mismatch werd gevonden. De tweede methode was de "fixed-work" aanpak, ontworpen om veilig te zijn: deze zou de chip dwingen om elke byte van de input te controleren, ongeacht hoe vroeg een fout optrad, om ervoor te zorgen dat de totale tijd gelijk blijft. Om te zien hoe deze methoden zich gedroegen, stuurde de onderzoeker duizenden testcodes naar de chips. Elke testcode was zo vervaardigd dat deze voor een specifiek aantal letters aan het begin overeenkwam met het geheime wachtwoord — soms nul, soms alle zestien — voordat het afweek. De chips maten hun eigen interne klokcycli om precies vast te leggen hoe lang elke vergelijking duurde, waarbij het proces honderden keren werd herhaald voor elke mogelijke startlengte.

De resultaten schetsen een duidelijk beeld van de kwetsbaarheid in de standaardmethode. Op de snellere ESP32 chip duurde het telkens wanneer de testcode één letter meer van de geheime code mat voordat deze faalde, precies veertig klokcycli langer om de taak te voltooien. Op de tragere ESP8266 was de vertraging vijfentwintig cycli per extra overeenkomende letter. Dit creëerde een perfect, voorspelbaar trappetje van tijd. Als de code nul letters mat, was de chip snel klaar; als de code vijftien letters mat, duurde het aanzienlijk langer. Sterker nog, de timing was zo consistent dat in veel van de testgroepen elke enkele van de driehonderd pogingen exact hetzelfde klokgetal produceerde. Voor de ESP32 was een enkele meting van de genomen tijd genoeg om de onderzoeker precies te vertellen hoeveel letters er in die specifieke sessie met de geheime code overeenkwamen. Dit bevestigde dat de standaard "stop vroeg"-methode informatie lekt via de tijd die het kost om uit te voeren.

In contrast hiermee gedroeg de "fixed-work" methode zich precies zoals beveiligingsexperts hopen dat het zou gebeuren. Wanneer de onderzoeker de versie gebruikte die de chip dwong om alle zestien bytes te controleren, veranderde de tijd die het kostte niet op basis van hoeveel letters overeenkwamen. Of de testcode nu faalde op de eerste letter of op de laatste, de chip besteedde evenveel tijd aan het verwerken van de data. De mediaan van de tijd bleef vlak over alle scenario's heen. De studie onthulde echter ook een prijs voor deze veiligheid. De "fixed-work" methode duurde altijd langer dan de kwetsbare methode, vooral wanneer de testcode onmiddellijk faalde. Op de ESP32 duurde de veilige methode bijna achthonderd cycli zelfs wanneer de eerste letter fout was, terwijl de kwetsbare methode in minder dan zeventig cycli klaar was. De veilige methode verspilde essentieel tijd aan het controleren van de rest van de letters om ervoor te zorgen dat de totale duur constant bleef. Deze afruil tussen snelheid en veiligheid is een fundamentele realiteit in embedded systemen, waar elke extra verwerkingscyclus een batterij leegtrekt of een apparaat vertraagt.

De studie bracht ook enkele onverwachte eigenaardigheden aan het licht in de manier waarop deze chips onder druk reageren. Hoewel de gemiddelde tijden stabiel waren, waren een klein aantal individuele metingen veel hoger dan de rest, met sprongen naar bijna het dubbele of driedubbele van de verwachte tijd. Deze pieken traden vooral op wanneer de chips werd toegestaan om normale achtergrondonderbrekingen af te handelen, in plaats van wanneer ze in een rustige staat geïsoleerd waren. Dit suggereert dat hoewel de kernlogica van de veilige code werkt, de omgeving van de chip nog steeds voor incidentele, onvoorspelbare vertragingen kan zorgen. De onderzoeker merkte op dat deze metingen direct in het geheugen van de chip werden genomen, niet over een netwerk, wat betekent dat hoewel de timing-lek reëel en meetbaar is op het apparaat zelf, dit niet automatisch bewijst dat een hacker een wachtwoord van over het internet kan stelen. De ruis van een echte verbinding zou deze subtiele verschillen waarschijnlijk maskeren.

Uiteindelijk biedt dit onderzoek een concrete kaart van hoe timing-lekken verschijnen op specifieke, veelgebruikte hardware. Het laat zien dat de simpele handeling van het voortijdig stoppen van een vergelijking een precies, meetbaar signaal creëert dat het geheim onthult. Het demonstreert ook dat een eenvoudige wijziging in de code — het dwingen van de computer om de taak te voltooien ongeacht het resultaat — dat signaal kan elimineren, al gaat dat gepaard met een prestatieverlies. De bevindingen zijn een herinnering aan het feit dat in de wereld van embedded beveiliging de manier waarop een programma wordt geschreven net zo belangrijk is als de wiskunde die het gebruikt. De chips deden precies wat hen werd verteld, en daarmee onthulden ze dat zonder zorgvuldig ontwerp zelfs de meest basale operaties geheimen kunnen fluisteren aan iedereen die naar de klok luistert.