SESAMO: Security and Safety Modelling

Li, Ximeng (PhD Student)
Nielson, Flemming (Main Supervisor)
Probst, Christian W. (Examiner)
Aceto, Luca (Examiner)
Mantal, Heiko (Examiner)
Nielson, Hanne Riis (Supervisor)

Status	Finished
Effective start/end date	01/10/2012 → 21/01/2016

1 Ph.D. thesis

Fine-grained Information Flow for Concurrent Computation
Li, X., 2016, Kgs. Lyngby: Technical University of Denmark. 182 p. (DTU Compute PHD-2015; No. 388).
Research output: Book/Report › Ph.D. thesis

Open Access
File
942 Downloads (Pure)