Virtual machine introspection for Intel TDX
Develop a virtual machine introspection solution for Intel TDX by determining how RealmEye’s in-module introspection principles can be adapted to the TDX module’s extension mechanism, SEAMCALL semantics, and attestation protocol.
References
TDX has no equivalent and remains an open research question (\S\ref{sec:disc-tdx}).
— RealmEye: Virtual Machine Introspection for Arm CCA Realm VMs
(2608.12822 - Qu et al., 13 Aug 2026) in Section 6.2.2, “TDX” (Section \ref{sec:disc-tdx})