Overview
Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a groundbreaking post-quantum tunneling protocol in this 33-minute conference talk by Daniel J Bernstein. Learn about PQConnect, an innovative end-to-end tunneling solution that automatically protects all network packets between clients and servers without requiring changes to existing applications or protocols. Discover how this protocol differs from traditional VPNs by implementing automatic peer discovery and eliminating the need for manual per-server configuration. Understand the technical architecture that combines conservative post-quantum Key Encapsulation Mechanisms (KEMs) for long-term security with smaller post-quantum KEMs for forward secrecy, plus elliptic curves for pre-quantum protection. Examine the automatic tunnel establishment process where servers publish announcements that PQConnect clients can efficiently discover and use to create secure point-to-point IP tunnels. Gain insights into the security foundations of the protocol, including the symbolic proof verification of the handshake component using Tamarin. Access the accompanying slides to follow along with the technical details of this collaborative research project with Tanja Lange, Jonathan Levin, and Bo-Yin Yang.
Syllabus
PQConnect: Automated post-quantum end-to-end tunnels - Daniel J Bernstein.
Taught by
Bill Buchanan OBE