Die Unternehmen Google und Intel haben die Ergebnisse (PDF) ihrer gemeinsamen Arbeit an der Sicherheitsprüfung des Intel TDX 1.5 (Trusted Domain Extensions) veröffentlicht. Die Intel TDX-Technologie ermöglicht die Verschlüsselung des Speichers virtueller Maschinen, um sie vor unbefugtem Zugriff und Analysen durch den Administrator des Host-Systems sowie vor physischen Angriffen auf die Hardware zu schützen. Bei der Prüfung wurden 6 Schwachstellen und 35 sicherheitsirrelevante Fehler festgestellt.
Die Probleme betreffen die Intel Xeon 6 CPUs sowie die Prozessoren der 4. und 5. Generation der Intel Xeon Scalable-Serie. Die Schwachstellen wurden in einem gestrigen Microcode-Update behoben. Auf GitHub wurde ein Werkzeug zur Ausnutzung der Schwachstellen in Intel TDX sowie Prototypen von Exploits für zwei Schwachstellen (CVE-2025-30513, CVE-2025-32007) veröffentlicht.
Die gefährlichste Schwachstelle (CVE-2025-30513) ermöglicht es einem unzuverlässigen Administrator mit Zugang zum Host-System, seine Privilegien zu erhöhen und die Sicherheitsgarantien, die durch die Intel TDX-Technologie bereitgestellt werden, vollständig zu kompromittieren. Die Schwachstelle resultiert aus einem Race Condition in einem der TDX-Module, das während der Migration einer virtuellen Maschine es erlaubt, die geschützte Umgebung (TD – Trusted Domain) von einem migrationsfähigen Zustand in einen Zustand zu versetzen, der einen Wechsel in den Debug-Modus zulässt.
Das Problem wird durch die Möglichkeit verursacht, Umgebungsattribute nach deren Überprüfung, aber vor der Versetzung in einen unveränderlichen Zustand in der übertragenen Umgebung zu manipulieren. Nach Setzen des Debug-Attributs kann der Administrator des Host-Systems die Aktivität des geschützten Gastsystems in Echtzeit überwachen und auf den entschlüsselten Zustand des Speichers zugreifen.
Die Schwachstelle ist relativ einfach auszunutzen, da der Administrator jederzeit den Prozess der Live-Migration der geschützten virtuellen Maschine initiieren kann. Das Problem wurde von Forschern der Firma Google entdeckt, die bei der Untersuchung der API auf die Inkonsistenz zwischen der Art und Weise, wie der Zustand von Operationen in der FSM (Finite State Machine) verfolgt wird, und der Verarbeitung von Interrupts bei Importoperationen aufmerksam wurden, wobei der Zustand der geschützten Umgebung geändert wird, jedoch nach einem Fehler nicht in den ursprünglichen Zustand zurückkehrt.
Weniger kritische Schwachstellen:
- CVE-2025-32007 — ganzzahlenüberlauf im Code zur Analyse von Metadaten, der während der Live-Migration zu einem Leck von 8 KB entschlüsselter Daten aus dem Stapel des aktuellen logischen Prozessors (LP, Logical Processor) führen kann.
- CVE-2025-32467 — die Verwendung von nicht initialisierten Variablen in einigen TDX-Modulen kann zu einem Leck von Restinformationen führen.
- CVE-2025-27572 — das Festhalten vertraulicher Daten während der spekulativen Ausführung von Anweisungen kann zu einem Informationsleck führen.
- CVE-2025-27940 — das Lesen aus dem Speicherbereich außerhalb des zugewiesenen Puffers kann zu einem Informationsleck führen.
- CVE-2025-31944 — ein Wettlaufzustand, der zu einer Dienstverweigerung führen kann.
Quelle: opennet.ru
