Research Projects

Epistemic Logical Framework

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.


Privacy and integrity of e-voting schemes

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.


Ethnographic studies

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.


Analytic Framework

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.


Transparency in Trust By Design

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?