Panagiotis Vasilikos

Panagiotis Vasilikos

PhD student

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 324, room 180

2800 Kgs. Lyngby

Request a vCard via e-mail.

Publications
Projects
Loading

Publications rss feed

2018
  PDF

Secure information release in timed automata

Vasilikos, Panagiotis ; Nielson, Flemming ; Nielson, Hanne Riis
part of: POST 2018: Principles of Security and Trust, pages: 28-52, 2018, Springer
Presented at:
7th International Conference on Principles of Security and Trust

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1007/978-3-319-89722-6_2

2017
 

Information Flow for Timed Automata

Nielson, Flemming ; Nielson, Hanne Riis ; Vasilikos, Panagiotis
part of: Models, Algorithms, Logics and Tools, pages: 3-21, 2017, Springer
Presented at:
KiMfest

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.1007/978-3-319-63121-9_1

  PDF

Time dependent policy-based access control

Vasilikos, Panagiotis ; Nielson, Flemming ; Nielson, Hanne Riis
in: Leibniz International Proceedings in Informatics, vol: 90
Presented at:
24th International Symposium on Temporal Representation and Reasoning

Type: Conference article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.4230/LIPIcs.TIME.2017.21