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

Immagina il processore del tuo computer come uno chef super veloce e iper-organizzato in una cucina frenetica. Per risparmiare tempo, questo chef non aspetta che ogni ordine sia completamente confermato prima di iniziare a cucinare; invece, indovina cosa il cliente potrebbe volere dopo e inizia a tagliare le verdure o a scaldare le padelle basandosi su quel tentativo. Questo è chiamato "esecuzione speculativa" (speculative execution), e rende i computer incredibilmente veloci. Tuttavia, proprio come uno chef che accidentalmente lascia una scia di cipolle tritate sul bancone, questi tentativi lasciano piccole impronte invisibili nella memoria della macchina.

Gli hacker hanno imparato a leggere queste impronte. Osservando quanto tempo impiega lo chef a rendersi conto che un tentativo era errato e a ricominciare, possono scoprire ricette segrete (come password o chiavi di cifratura) senza mai vedere effettivamente gli ingredienti. Questo è noto come "attacco side-channel". Per molto tempo, gli esperti di sicurezza hanno cercato di catturare questi hacker contando quante volte lo chef prendeva un coltello o apriva un cassetto (utilizzando i contatori hardware). Ma gli hacker sono diventati troppo subdoli; hanno imparato a nascondere le loro impronte così bene che i contatori non riuscivano più a vederle, specialmente nei nuovi processori RISC-V open-source che stanno diventando popolari in tutto, dai telefoni ai satelliti.

Entra in scena ANTMAN, un nuovo framework di sicurezza progettato dai ricercatori per catturare questi intrusi invisibili. Pensa ad ANTMAN non come a un contatore, ma come a un ispettore di cucina super osservatore che non si limita a contare le azioni, ma comprende la storia di ciò che sta accadendo. Invece di guardare eventi isolati, ANTMAN osserva l'intera cucina alla ricerca di una danza caotica specifica che accade solo quando un hacker sta cercando di rubare segreti.

I ricercatori hanno costruito questo sistema sul processore BOOM, un famoso design open-source che funge da cucina di prova per i chip RISC-V. Prima hanno lasciato che il computer eseguisse miglia di compiti di cucina normali (carichi di lavoro benigni) e poi hanno lasciato che un hacker cercasse di rubare segreti usando due trucchi diversi: uno semplice e uno complesso. Registrando ogni singolo segnale all'interno del cervello del processore, hanno utilizzato una tecnica di data mining chiamata "association rule mining". Immagina questo come l'insegnare a un computer a riconoscere che, ogni volta che lo chef fa cadere un cucchiaio, il forno emette un segnale acustico e le luci sfarfallano tutti insieme, non si tratta di un incidente — è un segnale che c'è un ladro in cucina.

L'articolo afferma che queste "danze segrete" sono incredibilmente coerenti. Quando un hacker cerca di sfruttare il meccanismo di indovinare del processore, innesca una specifica reazione a catena: il processore si rende conto di aver sbagliato l'ipotesi, cerca di correggere il proprio percorso e poi deve cancellare l'intera lavagna mentale per ricominciare da capo. Questo accade in molte parti diverse del processore simultaneamente. I ricercatori hanno scoperto 1ng 16 regole specifiche che descrivono questo schema caotico. Ad esempio, se il segnale di "branch misprediction" nell'unità principale corrisponde al segnale di "flush" nell'unità di memoria e al segnale di "redirect" nell'unità di fetch tutti nello stesso momento, è quasi certamente un attacco.

Quando hanno costruito un piccolo monitor non intrusivo nel design del processore per monitorare queste 16 regole, i risultati sono stati sorprendenti. Nelle loro simulazioni, ANTMAN ha catturato gli hacker il 100% delle volte. Non importava se l'hacker stesse usando un trucco semplice o uno complesso; il sistema ha individuato l'attacco dopo che solo il 25% dell'attacco era completato per la versione semplice, ed è riuscito a intercettare anche le variazioni complesse e invisibili prima che il segreto fosse completamente rubato. Fondamentalmente, non ha mai dato l'allarme del lupo durante i normali compiti di cucina, ottenendo zero falsi allarmi.

I ricercatori sottolineano con cautela che questo è stato testato in un ambiente simulato (un modello digitale perfetto del processore), non su un chip fisico in un dispositivo reale. Tuttavia, la simulazione mostra che progettando la sicurezza direttamente nel blueprint del processore (livello RTL) anziché cercare di correggerla in un secondo momento, possono fermare questi attacchi furtivi molto più velocemente dei metodi precedenti. Sostengono che, mentre i vecchi metodi basati sui contatori hardware sono come cercare di catturare un fantasma contando quante volte una porta scricchiola, ANTMAN è come riconoscere il particolare schema dell'ombra di un fantasma. Questo approccio offre una strada promettente, "sicura per progettazione" (secure-by-design), per proteggere la prossima generazione di computer open-source contro le minacce invisibili.