Eleftherios Ioannidis
According to our database1,
Eleftherios Ioannidis
authored at least 6 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).
CoRR, 2024
2023
IACR Cryptol. ePrint Arch., 2023
2021
IACR Cryptol. ePrint Arch., 2021
2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019