Tamper resistance mechanisms for secure embedded systems
Implementing an untrusted operating system on trusted hardware