As empresas Google e Intel divulgaram os resultados (PDF) de um trabalho conjunto na auditoria de segurança do mecanismo Intel TDX 1.5 (Trusted Domain Extensions). A tecnologia Intel TDX permite o criptografar a memória de máquinas virtuais para protegê-las contra interferências e análises por parte de administradores do sistema host e ataques físicos ao hardware. Como resultado da auditoria, foram identificadas 6 vulnerabilidades e 35 erros que não afetam a segurança.
Os problemas afetam as CPUs Intel Xeon de 6ª geração, bem como as de 4ª e 5ª gerações da linha de processadores Intel Xeon Scalable. As vulnerabilidades foram corrigidas na atualização de microcódigo lançada ontem. No GitHub, foi publicado um conjunto de ferramentas para explorar as vulnerabilidades no Intel TDX, além de protótipos de exploits para duas vulnerabilidades (CVE-2025-30513, CVE-2025-32007).
A vulnerabilidade mais perigosa (CVE-2025-30513) permite que um administrador não confiável, com acesso ao sistema host, eleve seus privilégios e comprometa completamente as garantias de segurança fornecidas pela tecnologia Intel TDX. A vulnerabilidade é causada por uma condição de corrida em um dos módulos do TDX, permitindo que, durante a migração de uma máquina virtual, o ambiente protegido (TD - Trusted Domain) mude de um estado que suporta a migração para um estado que permite a passagem para o modo de depuração.
O problema é causado pela possibilidade de modificar os atributos do ambiente logo após passar pela verificação, mas antes de serem definidos como imutáveis no ambiente migrado. Após a definição do atributo de depuração, o administrador do sistema host pode monitorar em tempo real a atividade do sistema operacional protegido e acessar o estado de memória descriptografado.
A vulnerabilidade é bastante simples de explorar, uma vez que o administrador pode iniciar a qualquer momento o processo de migração ao vivo da máquina virtual protegida. O problema foi identificado por pesquisadores da Google, que, ao estudar a API, notaram uma incoerência entre como o estado das operações é rastreado na FSM (Máquina de Estados Finitos), como a interrupção da operação de importação é tratada e como o estado do ambiente protegido é alterado, mas não retornado ao valor original após uma falha.
Vulnerabilidades menos perigosas:
- CVE-2025-32007 — estouro de inteiro no código de análise de metadados, causando durante a migração ao vivo um vazamento de 8 KB de dados descriptografados da pilha do processador lógico atual (LP, Logical Processor).
- CVE-2025-32467 — a utilização de variáveis não inicializadas em alguns módulos TDX pode resultar em vazamento de informações residuais.
- CVE-2025-27572 — a retenção de dados confidenciais durante a execução especulativa de instruções pode levar ao vazamento de informações.
- CVE-2025-27940 — a leitura de áreas de memória fora do buffer alocado pode resultar em vazamento de informações.
- CVE-2025-31944 — condição de corrida que pode causar uma interrupção de serviço.
Fonte: opennet.ru
