Information Flow for Timed Automata. - Flemming Nielson; Hanne Riis Nielson; Panagiotis Vasilikos (Models, Algorithms, Logics and Tools, 2017)

Time Dependent Policy-Based Access Control. - Panagiotis Vasilikos; Flemming Nielson; Hanne Riis Nielson (TIME, 2017)

Secure Information Release in Timed Automata. - Panagiotis Vasilikos; Flemming Nielson; Hanne Riis Nielson (POST, 2018)

Timing Leaks and Coarse-Grained Clocks. - Panagiotis Vasilikos; Hanne Riis Nielson; Flemming Nielson; Boris Köpf (CSF, 2019)