Die Unternehmen Google und Intel haben die Ergebnisse (PDF) ihrer gemeinsamen Arbeit zur Sicherheitsüberprüfung des Mechanismus Intel TDX 1.5 (Trusted Domain Extensions) veröffentlicht. Die Technologie Intel TDX ermöglicht die Verschlüsselung des Arbeitsspeichers virtueller Maschinen, um sie vor Manipulation und Analyse durch den Administrator des Hostsystems sowie vor physischen Angriffen auf die Hardware zu schützen. Im Rahmen des Audits wurden 6 Sicherheitsanfälligkeiten und 35 nicht sicherheitsrelevante Fehler festgestellt.
Die Probleme betreffen die Intel Xeon 6-CPUs sowie die Prozessoren der 4. und 5. Generation der Intel Xeon Scalable Serie. Die Sicherheitsanfälligkeiten wurden mit dem gestern veröffentlichten Mikrokodupdate behoben. Auf GitHub wurde ein Toolkit zur Ausnutzung der Schwachstellen in Intel TDX sowie Prototypen für zwei Exploits (CVE-2025-30513, CVE-2025-32007) veröffentlicht.
Die kritische Schwachstelle (CVE-2025-30513) ermöglicht es einem nicht vertrauenswürdigen Administrator, der Zugang zum Host-System hat, seine Berechtigungen zu erhöhen und die Sicherheitsgarantien von Intel TDX vollständig zu kompromittieren. Diese Schwachstelle wird durch einen Race Condition in einem der TDX-Module verursacht, der es erlaubt, während der Migration einer virtuellen Maschine das geschützte Umfeld (TD – Trusted Domain) von einem migrationsunterstützten Zustand in einen Zustand zu versetzen, der den Wechsel in den Debugging-Modus zulässt.
Das Problem entsteht durch die Möglichkeit, Umgebungsattribute nach ihrer Überprüfung, aber vor ihrer Übertragung in einen unveränderlichen Zustand im übertragenen Umfeld, zu manipulieren. Nachdem das Debugging-Attribut gesetzt wurde, kann der Administrator des Host-Systems in Echtzeit die Aktivitäten des geschützten Gastsystems ü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 einer geschützten virtuellen Maschine initiieren kann. Das Problem wurde von Forschern der Firma Google entdeckt, die während der Untersuchung der API auf eine Diskrepanz zwischen der Art und Weise, wie der Status von Operationen in der FSM (Finite State Machine) verfolgt wird, wie die Unterbrechung einer Importoperation behandelt wird und wie dieser Zustandswechsel nach einem Fehler nicht auf den ursprünglichen Wert zurückgesetzt wird, gestoßen sind, die den Status der geschützten Umgebung beeinflusst.
Weniger gefährliche Schwachstellen:
- CVE-2025-32007 — ein ganzzahliges Überlaufproblem im Code zur Verarbeitung von Metadaten, das während der Live-Migration zu einem Leck von 8 KB entschlüsselter Daten aus dem Stack des aktuellen logischen Prozessors (LP, Logical Processor) führt.
- 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 Zurückhalten vertraulicher Daten während der spekulativen Ausführung von Befehlen 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 – Race Condition, die zu einem Dienstausfall führen kann.
Quelle: opennet.ru
