Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Link opens in a new tab
Search content at Welcome to DTU Research Database
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Vertical Composition of Distributed Systems
Gondron, Sébastien Pierre C
(PhD Student)
Guttman, Joshua D.
(Examiner)
Sprenger, Christoph
(Examiner)
Mödersheim, Sebastian Alexander
(Main Supervisor)
Lluch Lafuente, Alberto
(Supervisor)
Department of Applied Mathematics and Computer Science
Overview
Fingerprint
Publications
(1)
Project Details
Status
Finished
Effective start/end date
01/07/2018
→
30/09/2021
Funding
Danmarks Grundforskningsfond
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.
Compositionality
Keyphrases
100%
Distributed Systems
Keyphrases
100%
Vertical Composition
Keyphrases
100%
Security protocols
Computer Science
100%
Distributed System
Computer Science
100%
Security Protocols
Keyphrases
80%
Formalization
Computer Science
75%
Reachability Properties
Keyphrases
40%
Research output
Research output per year
2021
2021
2021
1
Ph.D. thesis
Research output per year
Research output per year
Vertical Composition of Distributed Systems
Gondron, S. P. C.,
2021
,
Technical University of Denmark
.
180 p.
Research output
:
Book/Report
›
Ph.D. thesis
Open Access
File
Distributed Systems
100%
Compositionality
100%
Vertical Composition
100%
Distributed System
100%
Security protocols
100%
124
Downloads (Orbit)