Designing a Secret Handshake: Authenticated Key Exchange as a Capability System
Sam Hart
Info
Connections