| Research area: | Election Technologies |
| Status: | Ongoing |
Description: To describe the mathematical model of elections one needs to be able to model not just the primitives of elections like ballots, ballot boxes, and counting, but also the knowledge associated with the people and parties that are part of the overall electoral system. We are developing an epistemic logical framework called celf that does just that.
| Research area: | Election Technologies |
| Status: | Ongoing |
Description: In this project we are designing new private, robust and end-to-end verifiable electronic voting protocols by means of several new and state-of-the-art cryptographic primitives, namely secret sharing procedures, perfectly-hiding commitment schemes and encryption with homomorphic properties, among others. The focus is on achieving (preferably unconditionally) private schemes while still providing ways for the auditors and voters to check the integrity of the whole election process.
| Research area: | Socio-Technological Studies |
| Status: | Ongoing |
| In coorperation with: | Siemens A/S I MO |
Description: We will conduct ethnographies of election processes, including both conventional practices and pilot projects in the next upcoming elections in Frederiksberg and Aarhus municipalities.
| Research Area: | Socio-Technological Studies |
| Status: | Ongoing |
| In cooperation with: | Siemens A/S I MO |
Description: We will explore issues of trust, election technologies and democracy from a historical and comparative perspective in order to better understand the role of tradition and familiarity and how specific technologies, legality and legitimacy are accounted for in various situations. The findings are used to for requirements on the other theoretical and engineering workpackages.
| Research Area: | Socio-Technological Studies |
| Status: | Ongoing |
| In cooperation with: | Siemens A/S I MO |
| Aion |
Description: We will focus on trust by design as a voting technology in the making: How do the computer scientists inscribe specific values of trust and ideas about democracy and society into the technology?