Elisavet Kozyri

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 7

Top Topics

Active Participation

Reactive Systems

Information Flow

Computing Education

Top Venues

Foundations of Security, Protocols, and Equational Reasoning

Found. Trends Priv. Secur.

Publications

Elisavet Kozyri, Mariel Evelyn Markussen Ellingsen, Ragnhild Abel Grape, Letizia Jaccheri
Better Balance in Informatics: An Honest Discussion with Students. CoRR (2023)
Elisavet Kozyri, Mariel Evelyn Markussen Ellingsen, Ragnhild Abel Grape, Letizia Jaccheri
Better Balance in Informatics: An Honest Discussion with Students. HCI (11) (2023)
Elisavet Kozyri, Stephen Chong, Andrew C. Myers
Expressing Information Flow Properties. Found. Trends Priv. Secur. 3 (1) (2022)
Elisavet Kozyri, Fred B. Schneider
RIF: Reactive information flow labels. J. Comput. Secur. 28 (2) (2020)
Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi
Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement. CSF (2019)
Elisavet Kozyri, Owen Arden, Andrew C. Myers, Fred B. Schneider
JRIF: Reactive Information Flow Control for Java. Foundations of Security, Protocols, and Equational Reasoning (2019)
Andrew Bedford, Stephen Chong, Josée Desharnais, Elisavet Kozyri, Nadia Tawbi
A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version). Comput. Secur. 71 (2017)
Anastassios Nanos, Nikos Nikoleris, Stratos Psomadakis, Elisavet Kozyri, Nectarios Koziris
A Smart HPC Interconnect for Clusters of Virtual Machines. Euro-Par Workshops (2) (2011)