Cybersecurity and Blockchains

Contributing key researchers: 
Ivan Damgård (AU)
Claudio Orlandi (AU)
Nicola Dragoni (DTU)
Roman Beck (ITU)

Claudio Orlandi
Associate Professor

Aarhus University
Dept. of Computer Science
Åbogade 34
8200 Aarhus N

T: +45 21 43 32 49


The growing pervasiveness of computerised systems makes our society extremely vulnerable to faults or attacks to such systems. Here rigorous software engineering methods and supporting efficient verification tools are crucial to counter this threat of complexity. In addition, the growing number of software components that are based on ”unexplainable” and ”on-line” machine learning components possess a particular future challenge for verification research.

The growing use of personal data in software systems in the public as well as private sector gives rise to new challenges in verification and software engineering in guaranteeing privacy-by-design. Finally, the pervasive use of business process and case management systems in domains regulated by law, such as financial and governmental services, puts high demands for verification and software engineering technologies for compliance in general.

Objectives and Synergies

The objectives are:

  1. to enable MPC to become a practical tool for the future of processing sensitive data, and

  2. to create a practical and provable secure foundation for the blockchain revolution.

There are strong synergies with “Verification & Software Engineering” concerning formal verification of security properties of MPC and blockchains. There are also synergies with the “Efficient algorithms and data structures” theme in analysing and engineering efficient cryptographic algorithms. Finally, there is synergy with “Human Computer Interaction” with respect to usable security.