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)

Status	Finished
Effective start/end date	01/09/2016 → 09/09/2020

1 Ph.D. thesis

Timed Automata for Security of Real-Time Systems
Vasilikos, P., 2019, Technical University of Denmark. 172 p.
Research output: Book/Report › Ph.D. thesis

Open Access
File
120 Downloads (Pure)