YoVDO

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer

Offered By: IEEE via YouTube

Tags

IEEE Symposium on Security and Privacy Courses Network Security Courses QUIC Protocol Courses

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 Security
IEEE 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