EnGarde: Mutually-Trusted Inspection of SGX Enclaves
Low-level Software Security by Example