Le aziende Google e Intel hanno rivelato i risultati (PDF) della loro collaborazione per la revisione della sicurezza del meccanismo Intel TDX 1.5 (Trusted Domain Extensions). La tecnologia Intel TDX offre la possibilità di crittografare la memoria delle macchine virtuali per proteggerle da interferenze e analisi da parte degli amministratori dei sistemi host e da attacchi fisici all'hardware. Dalla revisione sono emerse 6 vulnerabilità e 35 errori non critici per la sicurezza.
I problemi riguardano 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 affidabile, con accesso al sistema host, di aumentare i propri privilegi e compromettere completamente le garanzie di sicurezza fornite dalla tecnologia Intel TDX. La vulnerabilità è causata da una condizione di gara in uno dei moduli TDX, che consente di trasferire l'ambiente protetto (TD - Trusted Domain) da uno stato di migrazione a uno stato che permette di passare alla modalità di debug al momento della migrazione della macchina virtuale.
Il problema è causato dalla possibilità di sostituire gli attributi dell'ambiente dopo che sono stati verificati, ma prima che siano trasferiti in uno stato immutabile nell'ambiente migrato. Dopo aver impostato l'attributo di debug, un amministratore del sistema host può monitorare in tempo reale l'attività del sistema guest protetto e accedere allo stato di memoria decrittato.
La vulnerabilità è abbastanza semplice da sfruttare, poiché l'amministratore può avviare in qualsiasi momento il processo di live migration di una macchina virtuale protetta. Il problema è stato identificato dai ricercatori di Google, che durante l'analisi delle API hanno notato una discrepanza tra il modo in cui il FSM (Finite State Machine) tiene traccia dello stato delle operazioni, gestisce l'interruzione dell'operazione di importazione e cambia, ma non torna al valore originale dopo un guasto, lo stato dell'ambiente protetto.
Vulnerabilità meno gravi:
- CVE-2025-32007 — un overflow di interi nel codice di analisi dei metadati, che porta a una perdita di 8 KB di dati decrittografati dallo stack del processore logico corrente (LP, Logical Processor) durante la live migration.
- CVE-2025-32467 — l'uso di variabili non inizializzate in alcuni moduli TDX può portare a una perdita di informazioni residue.
- CVE-2025-27572 — la persistenza dei dati riservati durante l'esecuzione speculativa delle istruzioni può portare a una perdita di informazioni.
- CVE-2025-27940 — la lettura da un'area di memoria al di fuori del buffer allocato può portare a una perdita di informazioni.
- CVE-2025-31944 — una condizione di gara che può portare a un'interruzione del servizio.
Fonte: opennet.ru
