CW21 Technical Workshop Series: Hybrid post-quantum/traditional key exchange in IETF standards

Date and time: Tuesday, July 21, 1:30 pm - 3:30 pm

Location: QNC1201, Mike & Ophelia Lazaridis Quantum-Nano Centre, University of Waterloo

RSVP: Please fill out the registration form by Wednesday, July 15, 2026

Light refreshments will be provided.

Abstract:

In this talk, I'll discuss the status of hybrid key exchange (combining post-quantum and traditional algorithms) in standards set by the Internet Engineering Task Force. I'll summarize initiatives in several IETF protocols and working groups, including the basic hybrid ephemeral key exchange construction in the Transport Layer Security (TLS) 1.3 protocol, and several generic hybrid KEM constructions in the Crypto Forum Research Group's documents. The talk will also explore the provable security results for these hybrid constructions, including recent results showing security of the CFRG hybrid KEM constructions using the ProofFrog formal verification tool.

Bio:

Please click on Douglas Stebila for his biography.