TrustedLogic: Trusted Execution Environment http://www.trusted-logic.com/Presentations/Trusted_Execution_Environment_CColas_2008Sept18.pdf