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

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 › Research

Open Access
File
153 Downloads (Pure)