Carsten Schürmann
Full Professor
- 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: 4C13
Information Desk: 72185000
- Published
Structural Logical Relations
Schürmann, C. & Sarnat, J., 2008, In: Logic in Computer Science. p. 69-82Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
System Description: Delphin - A Functional Programming Language for Deductive Systems
Schürmann, C. & Poswolsky, A., 2009, Electronic Notes in Theoretical Computer Science: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice (LFMTP 2008. Abel, A. & Urban, C. (eds.). Pergamon Press, Vol. 228. p. 113-120Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
The lambda sigma calculus and strong normalization
Schack-Nielsen, A. & Schürmann, C., 2011, IT-Universitetet i København. 13 p.Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
- Published
The Twelf Proof Assistant
Schürmann, C., 2009, Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics. Springer Publishing Company, p. 79 83 p. (Lecture Notes In Computer Science, Vol. 5674).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
The Use of Open Source Technology in Elections
Schürmann, C., Clouser, M., Krimmer, R., Nore, H. & Wolf, P., 2014, International IDEA. 54 p.Research output: Book / Anthology / Report / Ph.D. thesis › Book › Education
- Published
Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy
Bruni, A., Drewsen, E. & Schürmann, C., 2017, Electronic Voting - Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Springer, p. 110-126 (Lecture Notes in Computer Science, Vol. 10615).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Trace Matching in a Concurrent Logical Framework
Cervesato, I., Pfenning, F., Sacchini, J., Schürmann, C. & Simmons, R., 2012, LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice . Association for Computing Machinery, p. 1 12 p. (Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Trust in Internet Election: Observing the Norwegian Decryption and Counting Ceremony
Markussen, R., Ronquillo, L. & Schürmann, C., Oct 2014, 6th International Conference on Electronic Voting (EVOTE), TUT Press, October 2014. (jcg: 26/11/14). Krimmer, R. & Volkamer, M. (eds.). p. 75-82 8 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Truthful Monadic Abstractions
Brock-Nannestad, T. & Schürmann, C., 2012, IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning. Springer, Vol. 7364. p. 97-110 (Lecture Notes in Computer Science, Vol. 7364).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Verifying Voting Schemes
Schürmann, C., Beckert, B., Gore, R., Bormer, T. & Wang, J., Apr 2014, In: Journal of Information Security and Applications. 19, 2, p. 115-129Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
ID: 263621