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.

Secure Internet of Things – Risk Analysis in Design and Operation (SIoT)

This project aims to identify safety and security requirements for IoT systems and develop algorithms for quantitative risk assessment and decision-making. The aim is furthermore to create tools for designing and certifying IoT security training programs that will enable Danish companies to obtain security certification for their IoT devices, thus giving them a lead in a market that is likely to demand such certification in the near future. 

Verifiable and Safe AI for Autonomous Systems

The rapidly growing application of machine learning techniques in cyber-physical systems leads to better solutions and products in terms of adaptability, performance, efficiency, functionality and usability. However, cyber-physical systems are often safety critical, e.g., self-driving cars or medical devices, and the need for verification against potentially fatal accidents is of key importance.