ANTMAN: An Efficient and Interpretable RTL-Level Run-Time Detection Framework for Stealthy Branch Predictor Attacks on BOOM

Stel je de processor van je computer voor als een supersnelle, hypergeorganiseerde chef-kok in een drukke keuken. Om tijd te besparen, wacht deze chef niet tot elke bestelling volledig is bevestigd voordat hij begint met koken; in plaats daarvan raadt hij wat de klant misschien als volgende wil en begint hij alvast met het snijden van groenten of het verwarmen van pannen op basis van die gok. Dit wordt "speculatieve executie" genoemd, en het maakt computers ongelooflijk snel. Echter, net zoals een chef die per ongeluk een spoor van gesnipperde uien op het aanrecht achterlaat, laten deze gokken kleine, onzichtbare voetsporen achter in het geheugen van de machine.

Hackers hebben geleerd deze voetsporen te lezen. Door te kijken naar hoe lang het duurt voordat de chef beseft dat een gok fout was en opnieuw moet beginnen, kunnen ze geheime recepten (zoals wachtwoorden of encryptiesleutels) achterhalen zonder de ingrediënten daadwerkelijk te zien. Dit staat bekend als een "side-channel attack" (zijkanaalaanval). Lange tijd probeerden beveiligingsexperts deze hackers te vangen door te tellen hoe vaak de chef een mes oppakte of een lade opende (met behulp van hardwarecounters). Maar de hackers werden te sluw; ze leerden hun voetsporen zo goed te verbergen dat de counters ze niet konden zien, vooral in de nieuwere, open-source RISC-V processors die populair worden in alles van telefoons tot satellieten.

Maak kennis met ANTMAN, een nieuw beveiligingsframework ontworpen door onderzoekers om deze onzichtbare indringers te vangen. Zie ANTMAN niet als een teller, maar als een superwaakzame keukengezondheidsinspecteur die niet alleen acties telt, maar ook het verhaal begrijpt van wat er gebeurt. In plaats van naar geïsoleerde gebeurtenissen te kijken, observeert ANTMAN de hele keuken op zoek naar een specifieke, chaotische dans die alleen plaatsvindt wanneer een hacker probeert geheimen te stelen.

De onderzoekers bouwden dit systeem op de BOOM-processor, een beroemd open-source ontwerp dat fungeert als een testkeuken voor RISC-V chips. Ze lieten de computer eerst duizenden normale kooktaken (benigne workloads) uitvoeren en lieten vervolgens een hacker proberen geheimen te stelen met behulp van twee verschillende trucs: één eenvoudige en één complexe. Door elk signaal binnen de hersenen van de processor vast te leggen, gebruikten ze een techniek voor data-mining genaamd "association rule mining". Stel je voor dat je een computer leert herkennen dat wanneer de chef een lepel laat vallen, de oven piept en de lichten flikkeren, dit niet per ongeluk is—het is een signaal dat er een dief in de keuken is.

Het onderzoek toont aan dat deze "geheime dansen" ongelooflijk consistent zijn. Wanneer een hacker probeert de gokmechanismen van de processor uit te buiten, triggert dit een specifieke kettingreactie: de processor realiseert zich dat hij een fout heeft gegokt, probeert zijn pad te corragen, en moet vervolgens zijn hele mentale leiste schoonvegen om opnieuw te beginnen. Dit gebeurt gelijktijdig in veel verschillende delen van de processor. De onderzoekers ontdekten 16 specifieke regels die dit chaotische patroon beschrijven. Bijvoorbeeld, als het "branch misprediction"-signaal in de hoofdunit overeenkomt met het "flush"-signaal in de geheugeneenheid en het "redirect"-signaal in de fetch-unit op hetzelfde moment, dan is het bijna zeker een aanval.

Toen ze een kleine, niet-intrusieve monitor in het ontwerp van de processor bouwden om op deze 16 regels te letten, waren de resultaten opmerkelijk. In hun simulaties ving ANTMAN de hackers 100% van de tijd. Het maakte niet uit of de hacker een eenvoudige truc of een complexe truc gebruikte; het systeem ontdekte de aanval na slechts 25% van de uitvoering bij de eenvoudige versie, en ving zelfs de complexe, onzichtbare variaties op voordat het geheim volledig gestolen was. Cruciaal was dat het nooit "wolf" riep tijdens normale kooktaken, met nul valse alarmen.

De onderzoekers benadrukken zorgvuldig dat dit werd getest in een gesimuleerde omgeving (een perfect digitaal model van de processor), en nog niet op een fysieke chip in een echt apparaat. De simulatie laat echter zien dat door beveiliging direct in het blauwdruk van de processor te ontwerpen (op RTL-niveau) in plaats van het achteraf te proberen te patchen, ze deze sluwe aanvallen veel sneller kunnen stoppen dan voorheen. Ze stellen dat waar oudere methoden die afhankelijk zijn van hardwarecounters lijken op het proberen te vangen van een spook door te tellen hoe vaak een deur kraakt, ANTMAN meer lijkt op het herkennen van het specifieke schaduwpatroon van een spook. Deze aanpak biedt een veelbelovend pad naar "secure-by-design" voor de bescherming van de volgende generatie open-source computers tegen onzichtbare dreigingen.