JRIF: Reactive information flow control for Java E Kozyri, O Arden, AC Myers, FB Schneider Foundations of Security, Protocols, and Equational Reasoning, 70-88, 2019 | 19 | 2019 |
A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version) A Bedford, S Chong, J Desharnais, E Kozyri, N Tawbi Computers & Security 71, 114-131, 2017 | 13 | 2017 |
RIF: Reactive information flow labels E Kozyri, FB Schneider Journal of Computer Security, 1-38, 2020 | 12 | 2020 |
Expressing Information Flow Properties E Kozyri, S Chong, AC Myers Foundations and Trends® in Privacy and Security 3 (1), 1-102, 2022 | 10 | 2022 |
Block-safe information flow control E Kozyri, J Desharnais, N Tawbi | 7 | 2016 |
Beyond labels: Permissiveness for dynamic information flow enforcement E Kozyri, FB Schneider, A Bedford, J Desharnais, N Tawbi 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 351-35115, 2019 | 6 | 2019 |
Enhancing expressiveness of information flow labels: reclassification and permissiveness E Kozyri | 3 | 2018 |
The third country problem under the GDPR: enhancing protection of data transfers with technology BA Juliussen, E Kozyri, D Johansen, JP Rui Oxford University Press, 2023 | 2 | 2023 |
A Smart HPC interconnect for clusters of Virtual Machines A Nanos, N Nikoleris, S Psomadakis, E Kozyri, N Koziris European Conference on Parallel Processing, 398-406, 2011 | 2 | 2011 |
Better Balance in Informatics: An Honest Discussion with Students E Kozyri, MEM Ellingsen, RA Grape, L Jaccheri arXiv preprint arXiv:2301.02532, 2023 | | 2023 |