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 arm.com/summit to stay up to date and register your interest to attend or submit your work!

Anonymous