Automated Analysis and Verification of TLS 1.3 - 0-RTT, Resumption and Delayed Authentication
Offered By: IEEE via YouTube
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
Sensor SecurityIEEE via YouTube Tracking Ransomware End-to-end
IEEE via YouTube Cinderella - Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
IEEE via YouTube Algorithmic Transparency via Quantitative Input Influence - Theory and Experiments with Learning Systems
IEEE via YouTube Bitcoin Over Tor Isn't a Good Idea
IEEE via YouTube