LibSEAL: revealing service integrity violations using trusted execution
innovative technology for cpu based attestation and sealing ittai .