Eleftherios Ioannidis

According to our database, Eleftherios Ioannidis authored at least 7 papers between 2019 and 2025.

Collaborative distances:

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

2025

Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq.

Nicolas Chappe, Paul He, Ludovic Henrio, Eleftherios Ioannidis, Yannick Zakowski, Steve Zdancewic

J. Funct. Program., 2025

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

Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs.

Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath T. V. Setty, Jess Woods

Proceedings of the 33rd USENIX Security Symposium, 2024

2022

Efficient Representation of Numerical Optimization Problems for SNARKs.

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

Proceedings of the 31st USENIX Security Symposium, 2022

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