Компаниите Google и Intel разкриха резултатите (PDF) от съвместната работа по одита на сигурността на механизма Intel TDX 1.5 (Trusted Domain Extensions). Технологията Intel TDX осигурява възможност за криптиране на паметта на виртуалните машини, за да се защитят от намеса и анализ от администратори на хост системата и физически атаки на оборудването. Резултатите от одита показват 6 уязвимости и 35 грешки, които не влияят на сигурността.
Проблемите засягат CPU Intel Xeon 6, както и 4-то и 5-то поколение процесори Intel Xeon Scalable. Уязвимостите бяха отстранени с вчерашната микрокодова актуализация. На GitHub е публикуван инструментариум за експлоатация на уязвимостите в Intel TDX, както и прототипи на експлоити за две уязвимости (CVE-2025-30513, CVE-2025-32007).
Най-опасната уязвимост (CVE-2025-30513) позволява на неавтентичен администратор, който има достъп до хост системата, да повиши своите привилегии и напълно да компрометира гаранциите за сигурност, предоставяни от технологията Intel TDX. Уязвимостта е причинена от състояние на състезание в един от модулите на TDX, което позволява по време на миграцията на виртуална машина да се премести защитеното обкръжение (TD – Trusted Domain) от състояние, което поддържа миграцията, в състояние, позволяващо превключване в режим на отстраняване на грешки.
Проблемата е предизвикана от възможността за замяна на атрибутите на обкръжението след преминаването на тяхната проверка, но преди да бъдат превърнати в неизменяемо състояние в прехвърленото обкръжение. След задаване на атрибута за отстраняване на грешки, администраторът на хост системата може в реално време да наблюдава активността на защитената гостуваща система и да получи достъп до разшифрованото състояние на паметта.
Уязвимостта е достатъчно лесна за експлоатация, тъй като администраторът може по всяко време да започне процес на live миграция на защитена виртуална машина. Проблемът беше открит от изследователи от компанията Google, които по време на изучаването на API забелязаха несъответствие между начина, по който във FSM (Finite State Machine) се проследява състоянието на операциите, обработва се прекъсването на операцията по внасяне и състоянието на защитеното обкръжение, което се променя, но не се връща в първоначалното си състояние след сбой.
По-малко опасни уязвимости:
- CVE-2025-32007 — целочислено препълване в кода за анализ на метаданни, водещо до изтичане на 8 КБ декодирани данни от стека на текущия логически процесор (LP, Logical Processor) по време на live миграция.
- CVE-2025-32467 — използване на неинициализирани променливи в някои модули на TDX може да доведе до изтичане на остатъчна информация.
- CVE-2025-27572 — задържане на конфиденциални данни по време на спекулативно изпълнение на инструкции може да доведе до изтичане на информация.
- CVE-2025-27940 — четене от област в паметта извън зададения буфер може да доведе до изтичане на информация.
- CVE-2025-31944 — състояние на състезание, което може да доведе до отказ в обслужването.
Източник: opennet.ru
