Authentication and Key Exchange
summary
A systematization analyzes 12 papers and proposes a compact, syntax-first model for group key exchange that captures asynchronous messaging, flexible membership operations, and realistic environment interfaces so protocols can be compared and swapped; EPID work defines unforgeability and anonymity games that let verifiers manage revocation, removes the need to extract corrupt signing keys, and gives two new practical EPID variants for a scheme embedded in billions of devices; signed Diffie-Hellman gets a tight reduction to strong CDH that removes S^2 loss and supports TLS-style deployments.
AI-written summary · about
chapters (12)
- 0:00Start
- 0:28Group Key Exchange: Idea and History
- 3:50Prerequisites: Define "GKE" and Security
- 7:44Overview: Shortcomings and Implications
- 13:00Enhanced Privacy ID (EPID) in a Nutshell EPID is a digital signature scheme supporting anonymity
- 14:41Model of an EPID Scheme
- 23:52Outline
- 24:09Introduction
- 26:04Tightness
- 27:05State of the art for tightly secure AKE
- 28:05Technical Aspects
- 33:50Conclusion
related talks
36mPublic Key Cryptography
32mSymmetric Key Exchange: Lightweight Alternatives for a Post-Quantum IoT
44mMultiparty Protocols
48mAdvanced Symmetric-Key Encryption
46mKey Agreement
41mAdvanced Public-Key Encryption
01h 14mDecentralized Cryptography: A Distant Dream or an Immediate Possibility?
31mAggregatable Distributed Key Generation