The typical presentation of theoretical cryptography has one central goal: defining what it means for cryptographic objects to be “secure”. I think this goal is misguided.

- 2023年02月19日
- 13 分

Cryptography without Security- 2022年08月14日
- 35 分

Some KEMs and Some ProofsIn this post, I’d like to provide a technical introduction to key encapsulation mechanisms (KEMs), with a focus on proving the security of various constructions.

- 2022年05月28日
- 43 分

State-Separable Proofs for the Curious CryptographerThis blog post is an introduction to

*state-separable*proofs, a technique for proving the security of Cryptographic schemes.