Projects

SciTech project

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. A lot of data are private and stored locally for good reasons, but combining the information in a global machine learning system could lead to services that benefit all.

Bridge project

Trust through Software Independence and Program Verification

There is constant interest for Internet Voting by election commissions around the world. Greenland illustrates this well. 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.

Bridge project

Verified Voting Protocols and Blockchains

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. Together with an industrial partner, this project aims to improve the security and quality of the internet voting system and influence regulation on minimum quality requirements for blockchains.