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

Name: A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
Uploaded: 2021-01-01
Duration: 14 min 59 s
Description: A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer — a 2021 IEEE Security & Privacy 2021 security conference talk on network, crypto (14:59 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2021 · 2021 · 14:59

▶

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer — a 2021 IEEE Security & Privacy 2021 security conference talk on network, crypto (14:59 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

network crypto

← Back to the Breach Arc Archive