Skip to main navigation
Skip to search
Skip to main content
About DTU Orbit
Home
Profiles
Research Units
Research output
Activities
Projects
Prizes
Press / Media
Search by expertise, name or affiliation
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)
Overview
Research output
(1)
Research output
Research output per year
2016
2016
1
Ph.D. thesis
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Ph.D. thesis
Search results
2016
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
›
Research
Open Access
File
Denial-of-service attack
Communication
Flow control
Computer programming languages
Computer systems
820
Downloads (Pure)