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)

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

Open Access
File
221 Downloads (Pure)