A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
Description:
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