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)

Project Details

Status	Finished
Effective start/end date	01/10/2015 → 12/12/2018

Research Output

1 Ph.D. thesis

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

Open Access

File