Fine-grained Information Flow for Concurrent Computation

Ximeng Li

Research output: Book/Report › Ph.D. thesis

1621 Downloads (Pure)

Search results

  • Finished

    SESAMO: Security and Safety Modelling

    Li, X. (PhD Student), Nielson, F. (Main Supervisor), Probst, C. W. (Examiner), Aceto, L. (Examiner), Mantal, H. (Examiner) & Nielson, H. R. (Supervisor)

    Institut, samfinansiering

    01/10/2012 → 21/01/2016

    Project: PhD