Trustworthy Democratic Technology

Schürmann, Carsten (PI)
Boulus-Rødje, Nina (CoI)
Gad, Christopher (CoI)
Kiniry, Joseph Roland (CoI)
Markussen, Randi (CoI)
Gustafsson, Daniel (CoI)
Wang, Jian (CoI)
Vadgaard, Anne Kathrine Pihl (CoI)
Murawska, Agata Anna (CoI)
Bock, Peter Brottveit (CoI)

Project: Research

6 Journal article
3 Paper
2 Conference abstract for conference
2 Contribution to newspaper - Newspaper article
More
- 1 Book chapter
- 1 Article in proceedings

1 results

Filter

2013
Formal Model-based Validation for Tally Systems
Kiniry, J. R., Cochran, D. & Kiniry, J. R., 18 Jul 2013, E-Voting and Identify. Springer, Vol. 7985. p. 41-60 (Lecture Notes in Computer Science).
Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review