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.
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
Overview
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
-
Noise - A Library of Verified High-Performance Secure Channel Protocol Implementations
-
How Secure and Quick is QUIC? Provable Security and Performance Analyses
-
Network Security - Secure Socket Layer - Part 1 - SSL Record Protocol
-
A Secure and Formally Verified Linux KVM Hypervisor
-
Implementing and Proving the TLS 1.3 Record Layer
-
Project Everest - Fast, Correct, and Secure Software for Deployment Now
