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
- Article in proceedings
- Published
Hybrid Extensions in a Logical Framework
Schürmann, C., Brock-Nannestad, T., Guenot, N. & Murawska, A., 2014, LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery, 6Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Measuring Voter Lines
Schürmann, C. & Wang, J., 2016, Proceedings of the 6th International Conference for E-Democracy and Open Government: CeDEM 16. IEEE Professional Communication Society, p. 57-65 8 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
On Matching Concurrent Traces
Schürmann, C., Cervesato, I., Pfenning, F. & Simmons, R. J., 2012, Proceedings of the 26th International Workshop on Unification (UNIF 26). p. 14-19Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Party Endorsement Systems and Internet Voting.
Schürmann, C. & Stauning, S., 24 Oct 2017, E-Vote-ID 2017: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Tallinn: TUT Press, p. 207-208 2 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › 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 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
Vote Counting as Mathematical Proof
Schürmann, C. & Pattinson, D., 1 Dec 2015, Proceedings of 28th Australasian Joint Conference on Artificial Intelligence. Pfahringer, B. & Renz, J. (eds.). 2015 ed. Canberra: Springer, Vol. LNAI 9457. p. 464-475 11 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
How Could Snowden Attack an Election?
Wikström, D., Barrat, J., Heiberg, S., Krimmer, R. & Schürmann, C., 24 Oct 2017, Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Bregenz/Lochau: Springer, p. 280-291 11 p. (Lecture Notes in Computer Science, Vol. 10615).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Conference abstract for conference
- Published
How to weaponize RLAs to discredit an election
Schürmann, C., 2021.Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research › peer-review
- Paper
- Published
Framing Electoral Transparency: A comparative analysis of three e-votes counting ceremonies
Schürmann, C., Markussen, R., Bélanger, O. & Ronquillo, L., 2016. 18 p.Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research
ID: 263621