Publikationer pr. år
Publikationer pr. år
Publikation
Søgeresultater
-
2022
Modelling human threats in security ceremonies
Giustolisi, R., Schürmann, C. & Bella, G., 2022, I: Journal of Computer Security. 30, 3, s. 411–433 23 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
2018
Choreographies, logically
Carbone, M., Montesi, F. & Schürmann, C., 2018, I: Distributed Computing. 31, 1, s. 51-67 17 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
2017
Multiparty session types as coherence proofs
Carbone, M., Montesi, F., Montesi, F., Schürmann, C. & Yoshida, N., 2017, I: Acta Informatica. 54, 3, s. 243-269Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
2014
Verifying Voting Schemes
Schürmann, C., Beckert, B., Gore, R., Bormer, T. & Wang, J., apr. 2014, I: Journal of Information Security and Applications. 19, 2, s. 115-129Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2012
Linear Logical Voting Protocols
DeYoung, H. & Schürmann, C., 2012, I: Lecture Notes in Computer Science. 7187, s. 53-70Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2006
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework
Schürmann, C. & Stehr, M.-O., 2006, I: Lecture Notes in Computer Science. 4246Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review