Les entreprises Google et Intel ont publié les résultats (PDF) de leur collaboration pour l'audit de sécurité du mécanisme Intel TDX 1.5 (Trusted Domain Extensions). La technologie Intel TDX permet le chiffrement de la mémoire des machines virtuelles pour les protéger des intrusions et des analyses de l'administrateur du système hôte ainsi que des attaques physiques sur le matériel. L'audit a révélé 6 vulnérabilités et 35 erreurs sans impact sur la sécurité.
Les problèmes concernent les processeurs Intel Xeon de 6e génération ainsi que ceux des 4e et 5e générations des processeurs Intel Xeon Scalable. Les vulnérabilités ont été corrigées dans la mise à jour du microcode d'hier. Un outil pour exploiter les vulnérabilités dans Intel TDX et des prototypes d'exploits pour deux vulnérabilités (CVE-2025-30513, CVE-2025-32007) ont été publiés sur GitHub.
La vulnérabilité la plus dangereuse (CVE-2025-30513) permet à un administrateur non digne de confiance, ayant accès au système hôte, d'élever ses privilèges et de compromettre complètement les garanties de sécurité fournies par la technologie Intel TDX. Cette vulnérabilité est causée par un état de concurrence dans l'un des modules TDX, permettant au moment de la migration de la machine virtuelle de transférer l'environnement protégé (TD - Trusted Domain) d'un état supportant la migration à un état permettant de passer en mode débogage.
Le problème est causé par la possibilité de falsification des attributs d'environnement après leur vérification, mais avant leur passage en état immuable dans l'environnement transféré. Après avoir défini l'attribut de débogage, l'administrateur du système hôte peut suivre en temps réel l'activité de la machine virtuelle protégée et accéder à l'état déchiffré de la mémoire.
La vulnérabilité est suffisamment simple à exploiter, car l'administrateur peut à tout moment initier le processus de migration en direct de la machine virtuelle protégée. Le problème a été identifié par des chercheurs de Google, qui, lors de l'examen de l'API, ont remarqué un décalage entre la manière dont l'état des opérations est suivi dans la FSM (Finite State Machine), comment l'interruption de l'opération d'importation est gérée et comment l'état protégé est modifié mais pas réinitialisé à sa valeur d'origine après un échec.
Vulnérabilités moins dangereuses :
- CVE-2025-32007 — débordement d'entier dans le code d'analyse des métadonnées, entraînant une fuite de 8 Ko de données déchiffrées de la pile du processeur logique actuel (LP, Logical Processor) lors de la migration en direct.
- CVE-2025-32467 — l'utilisation de variables non initialisées dans certains modules TDX peut entraîner une fuite d'informations résiduelles.
- CVE-2025-27572 — la conservation de données sensibles lors de l'exécution spéculative d'instructions peut entraîner une fuite d'informations.
- CVE-2025-27940 — la lecture en dehors d'une zone mémoire allouée peut entraîner une fuite d'informations.
- CVE-2025-31944 — condition de concurrence pouvant entraîner une déni de service.
Source : opennet.ru
