Elisavet Kozyri

Ph.D candidate in Computer Science
Cornell University


My research focuses on information flow control. My advisor, Fred B. Schneider, and I are working on information flow policies that can specify arbitrary reclassifications of data. We develop both static and dynamic enforcement mechanisms for these policies.


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. Technical Report, Aug 2016. With Josée Desharnais, and Nadia Tawbi.

JRIF: Reactive Information Flow Control for Java. Technical Report, Oct 2015. With Owen Arden, Andrew C. Myers, and Fred B. Schneider.

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.


Please, click here to read my CV.


Email: ekozyri[AT]cs[DOT]cornell[DOT]edu
Address: 441 Gates Hall
Cornell University
Ithaca, 14853, NY