Microsoft’s Next-Generation Secure Computing Base, formerly Palladium
Ensuring Operating System Kernel Integrity with Osck