• papers podcast posts projects
    • 2023年02月19日
    • 13 分
    Cryptography without Security

    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.

    • Cryptography
    • Foundations
    • 2022年08月14日
    • 35 分
    Some KEMs and Some Proofs

    In 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.

    • Cryptography
    • Foundations
    • KEMs
    • 2022年05月28日
    • 43 分
    State-Separable Proofs for the Curious Cryptographer

    This blog post is an introduction to state-separable proofs, a technique for proving the security of Cryptographic schemes.

    • Cryptography
    • Foundations