ITU
Carsten Schürmann

Carsten Schürmann

Full Professor

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C13

Phone: +45 72185282

Information Desk: 72185000

View graph of relations

11 - 20 out of 53Page size: 10
  1. 2017
  2. Published

    A Risk-Limiting Audit In Denmark: A Pilot

    Schürmann, C., 2017, First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings. Springer, p. 192-202 (Lecture Notes in Computer Science, Vol. 10141).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  3. Published

    An Introduction to Voting Rule Verification

    Beckert, B., Bormer, T., Gore, R., Kirsten, M. & Schürmann, C., 2017, Trends in Computational Social Choice. AI Access, p. 269-289 20 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

  4. Published

    Automated Analysis of Accountability

    Bruni, A., Giustolisi, R. & Schürmann, C., 2017, Information Security - 20th International Conference, {ISC} 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings. Springer, p. 417-434 (Lecture Notes in Computer Science, Vol. 10599).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  5. Published

    Automatic Margin Computation for Risk-Limiting Audits

    Beckert, B., Kirsten, M., Klebanov, V. & Schürmann, C., 2017, First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings. Springer, p. 18-35 (Lecture Notes in Computer Science, Vol. 10141).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  6. Published

    Eos a Universal Verifiable and Coercion Resistant Voting Protocol

    Patachi, S. & Schürmann, C., 2017, Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Bregenz/Lochau: Springer, p. 210-227 17 p. (Lecture Notes in Computer Science, Vol. 10615).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  7. Published

    Multiparty session types as coherence proofs

    Carbone, M., Montesi, F., Montesi, F., Schürmann, C. & Yoshida, N., 2017, In: Acta Informatica. 54, 3, p. 243-269

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

  8. 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

  9. 2016
  10. Published

    Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

    Carbone, M., Lindley, S., Montesi, F., Schürmann, C. & Wadler, P., 2016, In: Leibniz International Proceedings in Informatics (LIPIcs). 59, p. 1-15 15 p., 33.

    Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  11. 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

  12. 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

Previous 1 2 3 4 5 6 Next

ID: 263621