YoVDO

Automated Analysis and Verification of TLS 1.3 - 0-RTT, Resumption and Delayed Authentication

Offered By: IEEE via YouTube

Tags

IEEE Symposium on Security and Privacy Courses Security Vulnerabilities Courses TLS 1.3 Courses

Course Description

Overview

Explore a comprehensive analysis of TLS 1.3 security features in this 19-minute IEEE conference talk. Delve into the automated verification of key aspects such as 0-RTT, resumption, and delayed authentication using the Tamarin prover. Learn about the modeling and analysis of revision 10 of the TLS 1.3 specification, including the interaction of various handshake modes for concurrent TLS sessions. Discover the findings on authenticated key exchange in both unilateral and mutual authentication scenarios. Examine the potential attack uncovered in the delayed client authentication mechanism and its implications for PSK-resumption handshakes. Gain insights into the importance of recent suggestions for enhancing protocol signature contents and the overall security of TLS 1.3.

Syllabus

Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication


Taught by

IEEE Symposium on Security and Privacy

Tags

Related Courses

Blockchain Scalability and its Foundations in Distributed Systems
The University of Sydney via Coursera
Cloud Security Scanner: Qwik Start
Google via Google Cloud Skills Boost
OWASP Top 10 - 2021
Cybrary
Secure Development, Programming, and Coding with Veracode
Cybrary
Risk Management and Security Vulnerabilities
Coventry University via FutureLearn