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
Composec: Secure Composition of Distributed Systems
Hess, Andreas Viktor
(PhD Student)
Mödersheim, Sebastian Alexander
(Main Supervisor)
Villadsen, Jørgen
(Supervisor)
Lluch Lafuente, Alberto
(Examiner)
Guttman, Joshua D.
(Examiner)
Sprenger, Christoph
(Examiner)
Overview
Research Output
(1)
Project Details
Status
Finished
Effective start/end date
01/10/2015
→
12/12/2018
View all
View less
Research Output
Research Output per year
2019
2019
1
Ph.D. thesis
Research Output per year
Research Output per year
Typing and Compositionality for Stateful Security Protocols
Hess, A. V.
,
2019
,
DTU Compute
.
179 p.
(DTU Compute PHD-2018, Vol. 495).
Research output
:
Book/Report
›
Ph.D. thesis
›
Research
Open Access
File
Network protocols
Chemical analysis
Internet
Electronic data interchange
Telecommunication networks
153
Downloads (Pure)