Elisavet Kozyri

According to our database, Elisavet Kozyri authored at least 7 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Better Balance in Informatics: An Honest Discussion with Students.

Elisavet Kozyri, Mariel Evelyn Markussen Ellingsen, Ragnhild Abel Grape, Letizia Jaccheri

Proceedings of the Universal Access in Human-Computer Interaction, 2023

2022

Expressing Information Flow Properties.

Elisavet Kozyri, Stephen Chong, Andrew C. Myers

Found. Trends Priv. Secur., 2022

2020

RIF: Reactive information flow labels.

Elisavet Kozyri, Fred B. Schneider

J. Comput. Secur., 2020

2019

Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement.

Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

JRIF: Reactive Information Flow Control for Java.

Elisavet Kozyri, Owen Arden, Andrew C. Myers, Fred B. Schneider

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2017

A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version).

Andrew Bedford, Stephen Chong, Josée Desharnais, Elisavet Kozyri, Nadia Tawbi

Comput. Secur., 2017

2011

A Smart HPC Interconnect for Clusters of Virtual Machines.

Anastassios Nanos, Nikos Nikoleris, Stratos Psomadakis, Elisavet Kozyri, Nectarios Koziris

Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011