Deflection Verifying security properties of SGX programs Time-blurring Dynamic time blurring for Virtual Machines HYBRID Hybrid Virtual Machine Introspection Robbery-on-DevOps Detection against DevOps mining