Firmy Google i Intel ujawniły wyniki wspólnej pracy nad audytem bezpieczeństwa mechanizmu Intel TDX 1.5 (Trusted Domain Extensions). Technologia Intel TDX umożliwia szyfrowanie pamięci maszyn wirtualnych, aby chronić je przed ingerencją i analizą ze strony administratorów systemu hosta oraz fizycznymi atakami na sprzęt. W wyniku audytu zidentyfikowano 6 luk bezpieczeństwa oraz 35 błędów, które nie wpływają na bezpieczeństwo.
Problemy dotyczą procesorów Intel Xeon 6, a także czwartej i piątej generacji procesorów Intel Xeon Scalable. Luki bezpieczeństwa zostały naprawione wczorajszą aktualizacją mikrokodu. Na GitHubie opublikowano narzędzia do eksploatacji luk w Intel TDX oraz prototypy exploitów dla dwóch luk (CVE-2025-30513, CVE-2025-32007).
Najbardziej niebezpieczna luka (CVE-2025-30513) pozwala niegodnemu zaufania administratorowi, który ma dostęp do systemu hosta, na uzyskanie podwyższonych uprawnień i całkowite skompromitowanie gwarancji bezpieczeństwa zapewnianych przez technologię Intel TDX. Luka ta została spowodowana stanem wyścigu w jednym z modułów TDX, co pozwala w momencie migracji maszyny wirtualnej przekształcić chronione środowisko (TD — Trusted Domain) ze stanu obsługującego migrację w stan zezwalający na przejście w tryb debugowania.
Problem wynika z możliwości podmiany atrybutów środowiska w chwili po ich weryfikacji, ale przed ich przekształceniem w stan niezmienny w przeniesionym środowisku. Po ustawieniu atrybutu debugowania administrator systemu hosta może w czasie rzeczywistym śledzić aktywność chronionego systemu gościa i uzyskać dostęp do odszyfrowanego stanu pamięci.
Luka jest dość prosta w eksploatacji, ponieważ administrator w każdej chwili może zainicjować proces live-migracji chronionej maszyny wirtualnej. Problem został odkryty przez badaczy z firmy Google, którzy podczas badania API zwrócili uwagę na rozbieżność między tym, jak w FSM (Finite State Machine) śledzony jest stan operacji, jak przetwarzane jest przerwanie operacji importu oraz jak zmienia się, ale nie wraca do pierwotnego stanu po awarii, stan chronionego środowiska.
Mniej niebezpieczne luki:
- CVE-2025-32007 — przepełnienie całkowitej liczby w kodzie analizy metadanych, prowadzące do ujawnienia 8 KB odszyfrowanych danych ze stosu bieżącego logicznego procesora (LP, Logical Processor) podczas migracji na żywo.
- CVE-2025-32467 — użycie nieinicjowanych zmiennych w niektórych modułach TDX może prowadzić do ujawnienia resztkowych informacji.
- CVE-2025-27572 — osadzanie poufnych danych podczas spekulacyjnego wykonywania instrukcji może prowadzić do ujawnienia informacji.
- CVE-2025-27940 — odczyt z obszaru pamięci poza przydzielonym buforem może prowadzić do ujawnienia informacji.
- CVE-2025-31944 — warunek wyścigu, który może prowadzić do awarii usługi.
Źródło: opennet.ru
