No photo of Panagiotis Vasilikos
  • Richard Petersens Plads, 324, 180

    2800 Kgs. Lyngby

    Denmark

20162019
If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2017 2019

  • 3 Article in proceedings
  • 1 Conference article

Timing leaks and coarse-grained clocks

Vasilikos, P., Nielson, H. R., Nielson, F. & Kopf, B., 1 Jun 2019, Proceedings of 2019 IEEE 32nd Computer Security Foundations Symposium. IEEE Computer Society Press, p. 32-47 8823781. (Proceedings - IEEE Computer Security Foundations Symposium, Vol. 2019-June).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

217 Downloads (Pure)

Secure information release in timed automata

Vasilikos, P., Nielson, F. & Nielson, H. R., 2018, POST 2018: Principles of Security and Trust. Springer, p. 28-52 (Lecture Notes in Computer Science, Vol. 10804).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Information Flow for Timed Automata

Nielson, F., Nielson, H. R. & Vasilikos, P., 2017, Models, Algorithms, Logics and Tools. Springer, Vol. 10460. p. 3-21 19 p. (Lecture Notes in Computer Science, Vol. 10460).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

107 Downloads (Pure)

Time dependent policy-based access control

Vasilikos, P., Nielson, F. & Nielson, H. R., 2017, In : Leibniz International Proceedings in Informatics. 90, 18 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

Projects 2016 2019