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
-
Accelerating TLS Protocol Processing with DPDK
-
Simple Remote Attestation with Secure and Attested Communication Channels
-
Unlocking the Secrets of TLS - Understanding the TLS Handshake Process
