Elisavet Kozyri Cornell University
Yüklə 82,84 Kb. Pdf görüntüsü
|
- Bu səhifədəki naviqasiya:
- Document Outline
| 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 Cambridge Proficiency in English (2009) English
Michigan Proficiency in English (2009) Certificato di Conoscenza della Lingua Italiana, Celi 3 (2003) Italian 3 of 3 Document Outline
Yüklə 82,84 Kb. Dostları ilə paylaş:
|