Formal Foundations for Intel SGX Data Center Attestation Primitives - Muhammad Usama Sardar, Technische Universität Dresden

This talk was presented at the virtual Arm Research Summit, September 9-11, 2020. This year's event explored global technology challenges across sustainability, security, and society, and attracted delegates from around the world for three days of innovative content.

Hardware-based Trusted Execution Environments (TEEs), such as Intel SGX, have emerged as a promising solution for protecting data in use. In this talk, Usama presents an overview of the formal specification of recently offered third-party remote attestation services, called Intel SGX Data Center Attestation Primitives (DCAP), for a data center to create its own attestation infrastructure. He also points out a few discrepancies in the existing literature. This talk is designed to suit attendees with a fundamental understanding of formal verification.

We hope to see you at the Arm Research Summit 2021, set to take place in the UK. Visit to stay up to date and register your interest to attend or submit your work!