Skip to main navigation
Skip to search
Skip to main content
About DTU Orbit
Home
Profiles
Research Units
Research output
Activities
Projects
Prizes
Press / Media
Search by expertise, name or affiliation
Abstract Interpretation for Secure Information Flow
Vasilikos, Panagiotis
(PhD Student)
Nielson, Flemming
(Supervisor)
Hansen, Michael Reichhardt
(Examiner)
Viganò, Luca
(Examiner)
Aceto, Luca
(Examiner)
Nielson, Hanne Riis
(Main Supervisor)
Overview
Research output
(1)
Project Details
Status
Finished
Effective start/end date
01/09/2016
→
09/09/2020
View all
View less
Research output
Research output per year
2019
2019
1
Ph.D. thesis
Research output per year
Research output per year
Timed Automata for Security of Real-Time Systems
Vasilikos, P.,
2019
,
Technical University of Denmark
.
172 p.
Research output
:
Book/Report
›
Ph.D. thesis
›
Research
Open Access
File
Cyber Physical System
Security of data
Real time systems
Internet of things
Computer programming languages
57
Downloads (Pure)