Formal Abstractions for Attested Execution Secure Processors
Sanctum: Minimal Hardware Extensions for Strong Software Isolation