Verified Voting Protocols and Blockchains

There is constant interest for Internet Voting by election commissions around the world. At the same time, there is a need for online voting in blockchain governance. However, building an internet voting system is not easy: The design of new cryptographic protocols is error-prone, and public trust in the elected body is easily threatened. This project aims to improve the security and quality of the internet voting system and influence regulation on minimum quality requirements for blockchains.

Trust through Software Independence and Program Verification

Greenland’s election law was changed in 2020, which now permits the use of Internet Voting. Together with the authorities in Greenland, this project will investigate the effects of program verification on public trust in election technologies. The project aims to contribute to making internet elections more credible, which can strengthen developing and post-conflict democracies around the world.

Privacy and Machine Learning

There is an unmet need for decentralised privacy-preserving machine learning. Cloud computing has great potential, however, there is a lack of trust in the service providers and there is a risk of data breaches. This project aims to develop AI methods and tools that enable secure and privacy-preserving use of sensitive data for machine learning. The goal is to address the lack of trust in cloud service providers and the risk of data breaches, while still enabling the use of analytical tools.