Extracting and Optimizing Formally Verified Code for Systems Programming. - Eleftherios Ioannidis; M. Frans Kaashoek; Nickolai Zeldovich (NFM, 2019)

Efficient Representation of Numerical Optimization Problems for SNARKs. - Sebastian Angel; Andrew J. Blumberg; Eleftherios Ioannidis; Jess Woods (IACR Cryptol. ePrint Arch., 2021)

Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs. - Sebastian Angel; Eleftherios Ioannidis; Elizabeth Margolin; Srinath T. V. Setty; Jess Woods (IACR Cryptol. ePrint Arch., 2023)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (CoRR, 2024)

Structural temporal logic for mechanized program verification. - Eleftherios Ioannidis; Yannick Zakowski; Steve Zdancewic; Sebastian Angel (CoRR, 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (Proc. ACM Program. Lang., 2024)