Tag
protocol-composition
- Sep 8, 2026 Concurrent Composition and the Isolation Assumption Why a protocol proved secure alone can fail when run beside another, how session identifiers and key separation restore isolation, and where composition theorems stop applying. cryptography
- Jul 19, 2026 Channel Binding: Tying an Authenticated Session to Its Transport How a protocol proves that the credential exchange it just performed happened inside this specific TLS connection, and why an unbound exchange is open to a relay in the middle. cryptography