Explore the intricacies of Attested TLS and its formalization in this 19-minute conference talk presented by Muhammad Usama SARDAR at the Linux Plumbers Conference. Gain insights into the latest developments and technical aspects of secure communication protocols, focusing on the implementation and verification of Attested TLS within the Linux ecosystem.
Overview
Syllabus
Attested TLS and Formalization - SARDAR, Muhammad Usama
Taught by
Linux Plumbers Conference
Related Courses
-
TLS Handshake for In-Kernel Consumers
-
A Formal Treatment of Accountable Proxying over TLS
-
Transport Layer Security - TLS 1.2 and 1.3 Explained by Example
-
Simple Remote Attestation with Secure and Attested Communication Channels
-
Accelerating TLS Protocol Processing with DPDK
-
Taming Attestation for Cloud Native Edge Security with Parsec
