LibSEAL: revealing service integrity violations using trusted execution
Ariadne: A Minimal Approach to State Continuity.