Panagiotis Vasilikos

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 4

Top Topics

Markov Decision Process

Information Flows

Reactive Systems

Top Venues

Models, Algorithms, Logics and Tools

Publications

Panagiotis Vasilikos, Hanne Riis Nielson, Flemming Nielson, Boris Köpf
Timing Leaks and Coarse-Grained Clocks. CSF (2019)
Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson
Secure Information Release in Timed Automata. POST (2018)
Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos
Information Flow for Timed Automata. Models, Algorithms, Logics and Tools (2017)
Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson
Time Dependent Policy-Based Access Control. TIME (2017)