Abstract Interpretation for Secure Information Flow

Vasilikos, Panagiotis (PhD Student)
Nielson, Hanne Riis (Main Supervisor)
Nielson, Flemming (Supervisor)
Hansen, Michael Reichhardt (Examiner)
Viganò, Luca (Examiner)
Aceto, Luca (Examiner)

Project Details

Status	Finished
Effective start/end date	01/09/2016 → 31/08/2019