Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
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
Fingerprint
Publications
(1)
Project Details
Status
Finished
Effective start/end date
01/10/2012
→
21/01/2016
Funding
Institut, samfinansiering
View all
View less
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Sensitivity Level
Computer Science
100%
Type Systems
Computer Science
100%
Flow Policy
Keyphrases
66%
Hoare Logic
Keyphrases
66%
Non-interference
Keyphrases
66%
Information Leakage
Computer Science
33%
Communicating Process
Computer Science
33%
Information Flow Control
Computer Science
33%
Research output
Research output per year
2016
2016
2016
1
Ph.D. thesis
Research output per year
Research output per year
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
Type Systems
100%
Sensitivity Level
100%
Flow Policy
66%
Non-interference
66%
Hoare Logic
66%
1180
Downloads (Orbit)