Formal Foundations for Intel SGX Data Center Attestation Primitives.

Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer

Browse the full ICFEM paper archive.