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

Protocol Deep Dive: QUIC
Pluralsight
RabbitMQ Course with NodeJS, Pros & Cons, Cloud RMQ, RMQ vs Kafka, RMQ in Wireshark & More
Hussein Nasser via YouTube
How Secure and Quick is QUIC? Provable Security and Performance Analyses
IEEE via YouTube
Project Everest - Fast, Correct, and Secure Software for Deployment Now
0xdade via YouTube
HTTP/3 is Next Generation HTTP - Is it QUIC Enough?
GOTO Conferences via YouTube