Panagiotis Vasilikos

Time Dependent Policy-Based Access Control

Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos, 2017, TIME.

Timing Leaks and Coarse-Grained Clocks

Hanne Riis Nielson, Flemming Nielson, Boris Köpf, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).

Secure Information Release in Timed Automata

Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos, 2018, POST.

Information Flow for Timed Automata

Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos, 2017, Models, Algorithms, Logics and Tools.

Timed Automata for Security of Real-Time Systems

Panagiotis Vasilikos, P. Vasilikos, 2019 .