A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
Offered By: IEEE via YouTube
Course Description
Overview
Explore a comprehensive analysis of the IETF QUIC Record Layer's security model and its fully verified implementation in this 15-minute IEEE conference presentation, delving into the intricacies of secure communication protocols and their practical applications in modern networking environments.
Syllabus
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
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