Eleftherios Ioannidis

According to our database, Eleftherios Ioannidis authored at least 6 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

Proc. ACM Program. Lang., 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 (Extended Version).

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

CoRR, 2024

2023

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

2021

Efficient Representation of Numerical Optimization Problems for SNARKs.

Sebastian Angel, Andrew J. Blumberg, Eleftherios Ioannidis, Jess Woods

IACR Cryptol. ePrint Arch., 2021

2019

Extracting and Optimizing Formally Verified Code for Systems Programming.

Eleftherios Ioannidis, M. Frans Kaashoek, Nickolai Zeldovich

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019