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
The Year of LangSec BugsIEEE via YouTube A Comparative Usability Study of FIDO2 Passwordless Authentication
IEEE via YouTube A Decentralized and Encrypted National Gun Registry
IEEE via YouTube A Deep Learning Approach to Fast, Format-Agnostic Detection of Malicious Web Content
IEEE via YouTube A Formal Treatment of Accountable Proxying over TLS
IEEE via YouTube