Building Verifiable Trusted Path on Commodity x86 Computers
SICE: a hardware-level strongly isolated computing environment for x86 multi-core platforms