provable-security

1 post tagged provable-security.

Secure Against Whom? The Security Definitions Every Protocol Designer Needs

Jul 2, 2026

A protocol designer's field guide to IND-CPA, IND-CCA2, EUF-CMA, AEAD, and the random oracle model, and why the wrong adversary model sinks real protocols.