Marco Carbone
Associate Professor, Head of study programme
- Programming Logic and Semantics
Research Group
- Center for Information Security and Trust
Research Group
- Computer Science
Department
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Building: 4C06
Information Desk: 72185000
- Article in proceedings › Research › Peer-reviewed
- Published
Sessions and Separability in Security Protocols
Carbone, M. & Guttman, J., 2013, Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, . Springer Publishing Company, Vol. 7796. p. 267-286 20 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Paper › Research › Peer-reviewed
- Published
Multparty Classical Choreographies
Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A. A., 4 Sep 2018. 20 p.Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review
ID: 274971