Typing and Compositionality for Stateful Security Protocols

Andreas Viktor Hess

Department of Applied Mathematics and Computer Science

Research output: Book/Report › Ph.D. thesis

286 Downloads (Orbit)

1 results

Finished
Composec: Secure Composition of Distributed Systems
Hess, A. V. (PhD Student), Mödersheim, S. A. (Main Supervisor), Villadsen, J. (Supervisor), Lluch Lafuente, A. (Examiner), Guttman, J. D. (Examiner) & Sprenger, C. (Examiner)
Forskningsrådsfinansiering
01/10/2015 → 12/12/2018
Project: PhD