Elisavet Kozyri

Postdoctoral Associate in Computer Science
Cornell University


Information flow control can be used to enforce restrictions (e.g., confidentiality, integrity) on input data and on any other information that is intentionally or unintentionally derived from that data. My research enhances the expressiveness of information flow policies to allow for sound and more permissive enforcement mechanisms. I received my Ph.D. in Computer Science from Cornell University, where I was advised by Fred B. Schneider, who is also my current supervisor.


RIF: Reactive Information Flow Labels. Under submission. Preliminary version available as eCommons technical report 1813/65012, April 2019. 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.


Please, click here to read my CV.


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