Las empresas Google e Intel han revelado los resultados (PDF) de su colaboración en la auditoría de seguridad del mecanismo Intel TDX 1.5 (Trusted Domain Extensions). La tecnología Intel TDX permite cifrar la memoria de las máquinas virtuales para protegerlas contra la interferencia y el análisis por parte del administrador del sistema host, así como contra ataques físicos al hardware. La auditoría identificó 6 vulnerabilidades y 35 errores que no afectan a la seguridad.
Los problemas afectan a los procesadores Intel Xeon de 6ª generación, así como a las generaciones 4 y 5 de los procesadores Intel Xeon Scalable. Las vulnerabilidades se han corregido en la actualización de microcódigo que se lanzó ayer. Se ha publicado en GitHub un kit de herramientas para explotar las vulnerabilidades en Intel TDX, junto con prototipos de exploits para dos vulnerabilidades (CVE-2025-30513, CVE-2025-32007).
La vulnerabilidad más crítica (CVE-2025-30513) permite que un administrador no de confianza, que tenga acceso al sistema host, eleve sus privilegios y comprometa completamente las garantías de seguridad proporcionadas por la tecnología Intel TDX. Esta vulnerabilidad es ocasionada por una condición de carrera en uno de los módulos de TDX, lo que permite, durante la migración de una máquina virtual, trasladar el entorno protegido (TD — Trusted Domain) de un estado que admite la migración a un estado que permite cambiar al modo de depuración.
El problema surge de la capacidad de alterar los atributos del entorno en el momento posterior a su verificación, pero antes de que se transformen en un estado inmutable en el entorno trasladado. Después de activar el atributo de depuración, el administrador del sistema host puede monitorear en tiempo real la actividad del sistema invitado protegido y acceder al estado de memoria descifrado.
La vulnerabilidad es lo suficientemente sencilla de explotar, ya que el administrador puede iniciar en cualquier momento el proceso de migración en vivo de una máquina virtual protegida. El problema fue descubierto por investigadores de Google, quienes al examinar la API notaron una discrepancia entre la forma en que el FSM (Finite State Machine) realiza un seguimiento del estado de las operaciones, maneja la interrupción de la operación de importación y cambia, pero no regresa a su valor original tras un fallo, el estado del entorno protegido.
Vulnerabilidades menos críticas:
- CVE-2025-32007 — desbordamiento de enteros en el código de análisis de metadatos, que durante la migración en vivo puede provocar una filtración de 8 KB de datos descifrados desde la pila del procesador lógico actual (LP, Logical Processor).
- CVE-2025-32467 — el uso de variables no inicializadas en algunos módulos de TDX puede llevar a una filtración de información residual.
- CVE-2025-27572 — la acumulación de datos confidenciales durante la ejecución especulativa de instrucciones puede provocar una filtración de información.
- CVE-2025-27940 — la lectura desde áreas de memoria fuera del búfer asignado puede llevar a una filtración de información.
- CVE-2025-31944 — una condición de carrera que puede llevar a una denegación de servicio.
Fuente: opennet.ru
