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)

Project Details

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 › Research

Open Access
File
57 Downloads (Pure)