Formal Abstractions for Attested Execution Secure Processors
vTPM: Virtualizing the trusted platform module