Ariadne: A Minimal Approach to State Continuity.
SICE: a hardware-level strongly isolated computing environment for x86 multi-core platforms