
Marco Carbone
Associate Professor, Head of study programme
- Programming Logic and Semantics
Research Group
- Computer Science
Department
- Center for Information Security and Trust
Research center
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
Refinement for Transition Systems with Responses
Carbone, M., Hildebrandt, T., Perrone, G. D. & Wasowski, A., 2012, Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. Vol. 87.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Security Protocols as Choreographies
Bruni, A., Carbone, M., Giustolisi, R., Mödersheim, S. A. & Schürmann, C., 2021, Security Protocols as Choreographies: Joshua Guttman's Festschrift . Springer, p. 98 111 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- 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