Elisavet Kozyri

Postdoctoral Associate in Computer Science
Cornell University

Research

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.

Publications

RIF: Reactive Information Flow Labels. In preparation. With Fred B. Schneider.

Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement . Under submission. Preliminary version available as eCommons technical report 1813/64488, Feb 2019. With Fred B. Schneider, Andrew Bedford, Josée Desharnais, and Nadia Tawbi.

JRIF: Reactive Information Flow Control for Java. Submitted for publication. 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.

Resume

Please, click here to read my CV.

Contact

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