Electromagnetic Side-Channel Resilience of AES-128 Key Rekeying on an Ibex RISC-V Soft-Core
Questo articolo dimostra, attraverso una valutazione pratica dei canali laterali elettromagnetici su un FPGA Ibex RISC-V, che uno schema di rekeying AES-128 leggero impedisce efficacemente gli attacchi di Correlation Power Analysis, portando a zero recuperi corretti di byte della chiave rispetto alla vulnerabilità delle implementazioni a chiave statica.
Articolo originale sotto licenza CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo
Immagina il tuo smartphone o il tuo smartwatch come una piccola e silenziosa fortezza che protegge i tuoi segreti. All'interno, esegue complessi enigmi matematici chiamati crittografia per bloccare i tuoi messaggi. Ma ecco il colpo di scena: mentre la matematica è perfetta, la fortezza non è silenziosa. Ogni volta che elabora numeri, perde minuscoli sussurri di informazioni attraverso l'elettricità e onde magnetiche invisibili, proprio come un agente segreto che batte nervosamente il piede o una stazione radio che trasmette accidentalmente un segnale. Gli hacker possono catturare questi sussurri utilizzando strumenti speciali, ascoltando il "battito cardiaco" del dispositivo per indovinare il codice segreto. Questo è chiamato "attacco side-channel". È un po' come cercare di indovinare la combinazione di una serratura osservando quanto il metallo della serratura si scalda o quanto si muove quando si gira la manopola, invece di provare semplicemente ogni numero. La grande domanda per gli scienziati è: come fermiamo queste perdite? Un'idea intelligente è cambiare la combinazione della serratura così spesso che la spia non abbia mai il tempo di ascoltare lo stesso schema due volte. Questo articolo approfondisce proprio il test di questa idea.
I ricercatori in questo studio hanno deciso di mettere alla prova la strategia del "cambiare la serratura spesso" in un ambiente di laboratorio reale. Hanno costruito un cervello digitale, chiamato processore soft-core (nello specifico un Ibex RISC-V), su una scheda circuitale nota come Digilent Nexys4DDR. Su questa scheda, hanno eseguito un programma di crittografia standard chiamato AES-128, che è l'equivalente digitale di una chiave maestra utilizzata per proteggere tutto, dai trasferimenti bancari alle chat private. Ma non hanno lasciato la chiave da sola; hanno aggiunto una regola speciale, o "firmware", che costringe il sistema a generare una nuova chiave segreta dopo un certo numero di crittografie. Immaginate come un'agenzia di spionaggio che cambia l'intero codice ogni volta che invia un messaggio, assicurando che anche se un nemico intercetta alcuni messaggi, non possa ricostruire l'intera storia.
Per vedere se questo trucco funziona davvero, il team ha interpretato il ruolo del super-spia. Hanno configurato un'antenna sensibile per ascoltare i "sussurri" elettromagnetici provenienti dalla scheda circuitale mentre criptava i dati. Hanno catturato 500 registrazioni separate, o "tracce", dell'attività della scheda. Ogni registrazione era incredibilmente dettagliata, contenente 100.000 minuscoli istantanee del segnale elettrico acquisite a una velocità di 625 MSa/s (ovvero 625 milioni di campioni al secondo!). Hanno utilizzato una potente tecnica matematica chiamata Correlation Power Analysis (CPA) per cercare di abbinare questi sussurri alla chiave segreta. È come cercare di trovare un ago specifico in un pagliaio guardando un modello nella paglia, ma il pagliaio è fatto di rumore statico e l'ago è un numero segreto.
I risultati sono stati una chiara vittoria per la strategia del "cambiare la serratura spesso". Nonostante avessero 500 registrazioni di alta qualità, l'attacco è fallito completamente. I ricercatori hanno cercato di indovinare tutte le 16 parti della chiave segreta, ma non ne hanno azzeccata zero. Il "corrispondenza" matematica che stavano cercando non è mai apparsa; al contrario, i dati sembravano puro rumore statico, con punte di correlazione che oscillavano tra 0,165 e 0,235, un valore troppo basso per essere utile. In un attacco normale senza questo trucco, la spia di solito riuscirebbe a violare il codice entro qualche centinaio di tentativi. Qui, il continuo cambio della chiave ha fatto sì che la spia non avesse mai dati abbastanza coerenti per costruire un'immagine del segreto.
L'articolo conclude che questo metodo di rekeying è uno scudo altamente efficace. Frammentando i dati in modo che nessun singolo codice venga utilizzato abbastanza a lungo da poter essere studiato, il sistema acceca efficacementamente l'attaccante. L'autore osserva che, sebbene questo test specifico abbia utilizzato 500 tracce, il metodo ha impedito con successo all'attacco di "convergere" o trovare una soluzione. Evidenziano inoltre che questo è un test pratico e reale su un chip standard, non solo una simulazione al computer. Tuttavia, rimangono cauti, suggerendo che, sebbene questo fermi questo specifico tipo di attacco d'ascolto, potrebbero essere possibili altri trucchi ingegnosi (come metodi di ascolto più avanzati o il contatto fisico con il chip). Per ora, però, l'esperimento dimostra che se si cambia la chiave segreta abbastanza velocemente, le spie che ascoltano il chiacchiericcio elettromagnetico non sentiranno altro che rumore statico.
Sommerso dagli articoli nel tuo campo?
Ricevi digest giornalieri degli articoli più recenti corrispondenti alle tue parole chiave di ricerca — con riassunti tecnici, nella tua lingua.