The objective of LIGHTest is to create a global cross-domain trust infrastructure that renders it transparent and easy for verifiers to evaluate electronic transactions. By querying different trust authorities world-wide and combining trust aspects related to identity, business, reputation etc. it will become possible to conduct domain-specific trust decisions.

Further information is available at or by contacting associate professor Sebastian A. Mödersheim.


CompoSec is a A Sapere Aude research project whose goals are to develop: (1) Real-world Compositionality Results that are applicable to today's systems without modification -- instead of strong unrealistic assumptions; (2) A Unified Framework. Make explicit and order the diversity of existing compositionality results within a single general model with machine-checked proofs in the Isabelle theorem prover.
Tool Support; (3) A verifier that checks whether a given set of components satisfies the conditions for secure composition and suggests changes otherwise.

Further information is available at or by contacting associate professor Sebastian A. Mödersheim.


IDEA4CPS is funded by the Danish Foundation for Basic Research and studies the foundations of cyber-physical systems. The aim is to research and develop mathematically well-founded and coherent models, methods, and tools that may serve as the foundation of a model-driven design methodology for cyber-physical systems.

Further information is available at or by contacting professor Flemming Nielson


TREsPASS is a European integrated research project on Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security. Current risk management methods provide descriptive tools for assessing threats by systematic brainstorming. In today’s dynamic attack landscape, however, this process is too slow and exceeds the limits of human imaginative capability. Emerging security risks demand an extension of established methods with an analytical approach to predict, prioritise, and prevent complex attacks. The TREsPASS project develops quantitative and organisation-specific means to achieve this in complex socio-technical environments.

Further information is available at or by contacting associate professor Christian W. Probst.

FutureID: Shaping the Future of Electronic Identity

FutureID is a European integrated research project to build a comprehensive, flexible, privacy-aware and ubiquitously usable identity management infrastructure for Europe, which integrates existing eID technology and trust infrastructures, emerging federated identity management services and modern credential technologies to provide a user-centric system for the trustworthy and accountable management of identity claims. DTU and the academic partners will focus on the development of languages and methods for formally modeling, analyzing, and securely composing the identity systems.

Further information is available at or by contacting associate professor Sebastian A. Mödersheim.

MT-LAB: a VKR Centre of Excellence on Modelling of Information Technology

The goal of the research centre was to explore and develop methods for formal verification of modern advanced software systems. Such methods have already been successfully applied to self‐ contained and relatively simple systems. The aim of this project was to develop new methods and expand the applicability of previous methods in order to formally verify the functionality of complex interacting modern software systems. In the project recent theory and methods from computer science and mathematical modelling have been combined.

Further information is available by contacting professor Flemming Nielson

SESAMO: Security and Safety Modelling

The SESAMO project addressed the root causes of problems arising with convergence of safety and security in embedded systems at the architectural level, where subtle and poorly understood interactions between functional safety and security mechanisms impede system definition, development, certification, and accreditation procedures and standards.

Further information is available at by contacting professor Flemming Nielson

PaPP: Portable and Predictable Performance on Heterogeneous Embedded Manycores

The PaPP project provides a platform that enables high-level application modeling, performance prediction for parallel program execution, and a run-time system supporting dynamic program adaptation. The platform builds upon the task-based programming model. Our approach provides for performance predictability and portability, and increases software development productivity.

Further information is available by contacting associate professor Christian W. Probst.