Elisavet Kozyri
Cornell University
Address
Department of Computer Science
441 Gates Hall
Ithaca, 14853, NY
ekozyri@cs.cornell.edu
E-mail
My research focuses on information flow control. My advisor and I are working in
Research
information flow policies that can specify arbitrary reclassifications of data. We develop
both static and dynamic enforcement mechanisms for these policies.
Education
PhD student
2010-present
Computer Science, Cornell University
Advisor: Fred B. Schneider
Thesis Committee: Andrew Myers (CS), G¨
un Sirer (CS), Richard Shore (Math)
Current GPA: 3.8 / 4.0
M.S., Computer Science, Cornell University
2015
Title: Reactive Information Flow Specifications
Advisor: Fred B. Schneider
Thesis Committee: Andrew Myers (CS), G¨
un Sirer (CS), Richard Shore (Math)
5-Year Diploma
2005-2010
Electrical and Computer Engineering, National Technical University of Athens
GPA : 9.39/10
Diploma Thesis: Introducing Semantics of High Performance Interconnection Networks
in Virtual Machines
Advisor: Nectarios Koziris
Experience
Teaching Assistant
Spring 2017
System Security (CS 5430) at Cornell University
− Designed and delivered the three lectures for information flow control.
Instructor
Summer 2016
Operating Systems (CS 4410) at Cornell University
Instructor
Summer 2013
Operating Systems (CS 4410) at Cornell University
Teaching Assistant
Spring 2013
System Security (CS 5430) at Cornell University
1 of 3
Teaching Assistant
Spring 2012
System Security (CS 5430) at Cornell University
Student Academic Services Assistant
Fall 2011
Introduction to Formal Methods (CS 5860) at Cornell University
Instructor
Summer 2011
Operating Systems (CS 4410) at Cornell University
Publications
A progress-sensitive flow-sensitive inlined information-flow control monitor (extended
version). Computers & Security, 2017. With Andrew Bedford, Stephen Chong, Jose
Desharnais, and Nadia Tawbi.
Block-safe Information Flow Control. Technical Report, Aug 2016. With Jose De-
sharnais, 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 Work-
shop 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.
Awards
Outstanding TA award, May 2017, Cornell University.
2017
Scholarship for the Summer School on Formal Methods for the Science of Security,
2013
July 22-26, 2013, University of Illinois (Urbana-Champaign).
Scholarship for the GREPSEC Workshop, May 18-19, 2013, San Francisco, California.
2013
Student scholarship for 23rd ACM Symposium on Operating Systems Principles
2011
(SOSP), October 23-26, 2011, Cascais, Portugal.
McMullen Fellowship for the first year of PhD studies in Computer Science, Cornell
2010-2011
University.
Honor scholarship from the I.K.Y(State Scholarship Foundation) for achieving the 6th,
2006-2008
7th and 6th position among the students of the Department of Electrical and
Computer Engineering, respectively.
Award from the Chr.Papakyriakopoulos endowment for achieving the highest average
2007
in classes of mathematics during 1st, 2nd, 3rd and 4th semesters.
2 of 3
Award from Eurobank for achieving the highest GPA among the students of the 3rd
2005
grade of the 2nd Senior High School of Glydada.
Awards and Honors from the Greek Ministry of Education for achieving GPA of above
2002-2005
19/20.
Foreign
Languages
Cambridge Proficiency in English (2009)
English
Michigan Proficiency in English (2009)
Certificato di Conoscenza della Lingua Italiana, Celi 3 (2003)
Italian
3 of 3