| Privacy-preserving system for machine-learning training data JC Whaley, E Ioannidis US Patent 10,601,786, 2020 | 18 | 2020 |
| Efficient representation of numerical optimization problems for {SNARKs} S Angel, AJ Blumberg, E Ioannidis, J Woods 31st USENIX Security Symposium (USENIX Security 22), 4273-4290, 2022 | 11 | 2022 |
| Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization JW Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ... Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 670-697, 2024 | 3 | 2024 |
| Reef: Fast Succinct {Non-Interactive}{Zero-Knowledge} Regex Proofs S Angel, E Ioannidis, E Margolin, S Setty, J Woods 33rd USENIX Security Symposium (USENIX Security 24), 3801-3818, 2024 | 3 | 2024 |
| Extracting and optimizing formally verified code for systems programming E Ioannidis, F Kaashoek, N Zeldovich NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019 | 2 | 2019 |
| DP2 Report: A collaborative text editor E Ioannidis, T Tchwella | 1 | 2012 |
| Authorization policy validation MW Hicks, JH Kastner, E Torlak, RM McCUTCHEN, D Mcadams, ... US Patent App. 18/070,349, 2024 | | 2024 |
| Extracting and Optimizing low-level bytecode from High-level verified Coq EI Ioannidis Massachusetts Institute of Technology, 2019 | | 2019 |
| Choice Trees: Representing and Reasoning About Nondeterministic, Recursive, and Impure Programs in Coq (draft) N CHAPPE, P HE, L HENRIO, E IOANNIDIS, Y ZAKOWSKI, ... | | |
| Evaluating correlation between saliency maps and the solution of maze puzzles E Ioannidis, A Michael | | |
