Section: Formal Methods
Principal supervisor:
Sebastian A. Mödersheim
Co-supervisors:
Jørgen Villadsen
Title of project: Composec: Secure Composition of Distributed Systems
Effective start/end date 01/10/2015 → 12/12/2018
Report published: Typing and Compositionality for Stateful Security Protocols