De bedrijven Google en Intel hebben de resultaten (PDF) van hun gezamenlijke audit over de beveiliging van de Intel TDX 1.5 (Trusted Domain Extensions) onthuld. De Intel TDX-technologie biedt de mogelijkheid tot het versleutelen van het geheugen van virtuele machines om ze te beschermen tegen inmenging en analyse door de beheerder van het host-systeem en fysieke aanvallen op de hardware. De audit heeft zes kwetsbaarheden en 35 niet-beveiligingsproblemen ontdekt.
De problemen treffen de Intel Xeon 6 CPU, evenals de 4e en 5e generatie Intel Xeon Scalable-processoren. De kwetsbaarheden zijn verholpen in de microcode-update van gisteren. Op GitHub is een toolkit gepubliceerd voor het exploiteren van de kwetsbaarheden in Intel TDX, evenals prototype-exploits voor twee kwetsbaarheden (CVE-2025-30513, CVE-2025-32007).
De meest kritieke kwetsbaarheid (CVE-2025-30513) stelt een onbetrouwbare administrator met toegang tot het host-systeem in staat om zijn privileges te verhogen en de veiligheidsmechanismen die door de Intel TDX-technologie worden geboden volledig te compromitteren. De kwetsbaarheid wordt veroorzaakt door een raceconditie in een van de TDX-modules, waardoor tijdens de migratie van de virtuele machine de beveiligde omgeving (TD - Trusted Domain) van een migratietoestand naar een toestand kan worden gebracht die de overgang naar de debugmodus toelaat.
Het probleem wordt veroorzaakt door de mogelijkheid om omgevingsattributen te wijzigen na hun verificatie, maar voordat ze in een onveranderlijke toestand in de overgebrachte omgeving worden geplaatst. Nadat het debug-attribuut is ingesteld, kan de beheerder van het host-systeem in real-time de activiteit van het beveiligde gastbesturingssysteem volgen en toegang krijgen tot de gedecrypteerde geheugenstatus.
De kwetsbaarheid is relatief eenvoudig te exploiteren, omdat de beheerder op elk moment het live-migratieproces van de beveiligde virtuele machine kan initiƫren. Het probleem werd ontdekt door onderzoekers van Google, die tijdens hun studie van de API op een discrepantie stuitten tussen hoe de status van operaties in de FSM (Finite State Machine) wordt bijgehouden, hoe de onderbreking van de importoperatie wordt verwerkt en hoe de status van de beveiligde omgeving wordt gewijzigd, maar niet wordt teruggebracht naar de oorspronkelijke waarde na een fout.
Minder ernstige kwetsbaarheden:
- CVE-2025-32007 ā een integer overflow in de metadata parsing code, wat tijdens live migratie kan leiden tot een lek van 8 KB aan ontsleutelde gegevens uit de stack van de huidige logische processor (LP, Logical Processor).
- CVE-2025-32467 ā het gebruik van niet-geĆÆnitialiseerde variabelen in sommige TDX-modules kan leiden tot een lek van resterende informatie.
- CVE-2025-27572 ā het vasthouden van gevoelige gegevens tijdens speculatieve uitvoering van instructies kan leiden tot een lek van informatie.
- CVE-2025-27940 ā lezen uit een geheugenruimte buiten de toegewezen buffer kan leiden tot een lek van informatie.
- CVE-2025-31944 ā een raceconditie die kan leiden tot een denial of service.
Bron: opennet.ru
