Eleftherios Ioannidis

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Conflict Resolution

English Language

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Proc. ACM Program. Lang.

Publications

Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath T. V. Setty, Jess Woods
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs. USENIX Security Symposium (2024)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). CoRR (2024)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath T. V. Setty, Jess Woods
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs. IACR Cryptol. ePrint Arch. 2023 (2023)
Sebastian Angel, Andrew J. Blumberg, Eleftherios Ioannidis, Jess Woods
Efficient Representation of Numerical Optimization Problems for SNARKs. USENIX Security Symposium (2022)
Sebastian Angel, Andrew J. Blumberg, Eleftherios Ioannidis, Jess Woods
Efficient Representation of Numerical Optimization Problems for SNARKs. IACR Cryptol. ePrint Arch. 2021 (2021)
Eleftherios Ioannidis, M. Frans Kaashoek, Nickolai Zeldovich
Extracting and Optimizing Formally Verified Code for Systems Programming. NFM (2019)