All Stories

  1. How We Built Cedar: A Verification-Guided Approach

    Article • July 2024, ACM (Association for Computing Machinery)

    Kesha Hietala

  2. Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization

    Article • Proceedings of the ACM on Programming Languages, April 2024, ACM (Association for Computing Machinery)

    Kesha Hietala

  3. A Verified Optimizer for Quantum Circuits

    Article • ACM Transactions on Programming Languages and Systems, July 2023, ACM (Association for Computing Machinery)

    Liyi Li, Kesha Hietala