Le aziende Google e Intel hanno rivelato i risultati (PDF) della loro collaborazione sulla revisione della sicurezza del meccanismo Intel TDX 1.5 (Trusted Domain Extensions). La tecnologia Intel TDX implementa la possibilità di crittografare la memoria delle macchine virtuali per proteggerle da interferenze e analisi da parte dell'amministratore del sistema host e da attacchi fisici all'hardware. A seguito della revisione sono state individuate 6 vulnerabilità e 35 errori non critici.
I problemi interessano le CPU Intel Xeon di sesta generazione, così come le generazioni 4 e 5 dei processori Intel Xeon Scalable. Le vulnerabilità sono state risolte nell'aggiornamento del microcodice di ieri. Su GitHub è stato pubblicato un toolkit per sfruttare le vulnerabilità in Intel TDX e prototipi di exploit per due vulnerabilità (CVE-2025-30513, CVE-2025-32007).
La vulnerabilità più pericolosa (CVE-2025-30513) consente a un amministratore non fidato, che ha accesso al sistema host, di elevare i propri privilegi e compromettere completamente le garanzie di sicurezza fornite dalla tecnologia Intel TDX. La vulnerabilità è causata da una condizione di race in uno dei moduli TDX, che consente, durante la migrazione di una macchina virtuale, di trasferire l'ambiente protetto (TD - Trusted Domain) dallo stato di supporto della migrazione a uno stato che consente di passare in modalità di debug.
Il problema è causato dalla possibilità di alterare gli attributi dell'ambiente nel momento successivo alla loro validazione, ma prima del loro trasferimento in uno stato immutabile nell'ambiente migrato. Una volta impostato l'attributo di debug, l'amministratore del sistema host può monitorare in tempo reale l'attività del sistema guest protetto e accedere allo stato di memoria decrittografato.
La vulnerabilità è abbastanza semplice da sfruttare, poiché l'amministratore può avviare in qualsiasi momento il processo di live-migrazione della macchina virtuale protetta. Il problema è stato identificato dai ricercatori di Google, che, studiando l'API, hanno notato una discrepanza tra come lo stato delle operazioni viene monitorato nella FSM (Finite State Machine), come viene gestita l'interruzione dell'operazione di importazione, e come lo stato dell'ambiente protetto viene cambiato, ma non ripristinato al valore iniziale dopo un guasto.
Vulnerabilità meno pericolose:
- CVE-2025-32007 — overflow di interi nel codice di analisi dei metadati, che durante la migrazione live può portare a una fuga di 8 KB di dati decifrati dallo stack dell'attuale processore logico (LP, Logical Processor).
- CVE-2025-32467 — l'uso di variabili non inizializzate in alcuni moduli TDX può portare a una fuga di informazioni residue.
- CVE-2025-27572 — la persistenza di dati confidenziali durante l'esecuzione speculativa delle istruzioni può portare a una fuga di informazioni.
- CVE-2025-27940 — la lettura da un'area di memoria al di fuori del buffer allocato può portare a una fuga di informazioni.
- CVE-2025-31944 — condizione di gara che può portare a un'interruzione del servizio.
Fonte: opennet.ru
