Ariadne: A Minimal Approach to State Continuity.
Sanctum: Minimal Hardware Extensions for Strong Software Isolation