Linaro Connect 2025
LIS25-228 Attested TLS: design space, tradeoffs and standardization
Technical presentation - 30 minutes (including q&a)
- Thursday, 15 May 14:00 - 14:25
- Room: Keynote room | Floriana II
Attested TLS is an essential ingredient of any confidential computing solution. In this talk, we explore the design space and the corresponding typical security and performance tradeoffs of attested TLS protocols. We also summarize the standardization efforts on such protocols in the IETF. We then present what security properties are required from the attestation framework, and demonstrate how formalization can help get strong security guarantees. The attendees will learn best practices for using attested TLS in confidential computing to improve the Arm CCA ecosystem.
Presented by
Muhammad Usama Sardar
Research Associate at TU Dresden
Usama has been working at TU Dresden since October 2017. His current research focus is on the formal specification and verification of attested TLS for confidential computing. He led the recently co... View more
Research Associate at TU Dresden
Usama has been working at TU Dresden since October 2017. His current research focus is on the formal specification and verification of attested TLS for confidential computing. He led the recently co... View more