Elisavet Kozyri

Empowering users with control over their data presupposes reasoning about information flow within computer systems. My research focuses on understanding information flow and enforcing information flow restrictions during computation.

The third country problem under the GDPR: enhancing protection of data transfers with technology. International Data Privacy Law (IDPL), 2023. Open Access here. With Bjørn Aslak Juliussen, Dag Johansen, and Jon Petter Rui.

Better Balance in Informatics: An Honest Discussion with Students. Lecture Notes in Computer Science, 2023. Preliminary version available as eCommons technical report 2301.02532 With Mariel Evelyn Markussen Ellingsen, Ragnhild Abel Grape, and Letizia Jaccheri.

Expressing Information Flow Properties. Foundations and Trends® in Privacy and Security, 2022. Preliminary version available here. With Stephen Chong and Andrew C. Myers.

RIF: Reactive Information Flow Labels. Journal of Computer Security, 2020. Preliminary version available as eCommons technical report 1813/65012.2, Feb 2020. With Fred B. Schneider.

Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement . 32nd IEEE Computer Security Foundations Symposium (CSF), June 2019. Preliminary version available as eCommons technical report 1813/64488.2, Feb 2019. With Fred B. Schneider, Andrew Bedford, Josée Desharnais, and Nadia Tawbi.

JRIF: Reactive Information Flow Control for Java. Foundations of Security, Protocols, and Equational Reasoning, May 2019. Preliminary version available as eCommons technical report 1813/41194, Oct 2015. With Owen Arden, Andrew C. Myers, and Fred B. Schneider. Tutorial and software release available here.

Enhancing expressiveness of information flow labels: Reclassification and permissiveness.
Ph.D. Dissertation, Cornell University, Ithaca, NY, 2018.

A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version). Computers & Security , 2017. With Andrew Bedford, Stephen Chong, Josée Desharnais, and Nadia Tawbi.

Block-safe Information Flow Control. eCommons technical report 1813/44564, Aug 2016. With Josée Desharnais, and Nadia Tawbi.

A Smart HPC interconnect for clusters of Virtual Machines. Proceedings 6th Workshop on Virtualization in High-Performance Cloud computing (VHPC 2011), Bordeaux, France, 29 August - 2 September, 2011. With A. Nanos, N. Nikoleris, S. Psomadakis and N. Koziris.

PC member, IEEE Computer Security Foundations Symposium (CSF), 2021-24

PC member, International Conference on Formal Methods in Software Engineering, 2023

Sponsorship and Publicity co-Chair, ACM Celebration of Women in Computing, 2023

Evaluator-Expert, Hellenic Foundation for Research and Innovation, 2022-2023

Deputy Representative, Informatics Europe, 2023-present

Management Committee member, EUGAIN, 2022-present

PC member, Workshop on Programming Languages and Analysis for Security (PLAS), 2022

PC member, Workshop on Principles of Secure Compilation (PriSC), 2022

Subreviewer, Logic in Computer Science (LICS), 2020

Advanced Computer Security, UiT, Fall 2023

Computer Security, UiT, Spring 2022, 2023

Computer Communication, UiT, Fall 2022

I received my Ph.D. in Computer Science from Cornell University under the supervision of Prof. Fred B. Schneider. After that, I was a postdoctoral fellow in Computer Science at Harvard University working with Prof. Stephen Chong. I completed my undergraduate studies in ECE at the National Technical University of Athens, Greece.

A detailed CV can be found here.

Elisavet Kozyri
Institutt for Informatikk
Fakultet for Naturvitenskap og Teknologi
UiT Norges Arktiske Universitet
Postboks 6050 Langnes
N-9037 TROMSØ
NORWAY