Technical University of Denmark (DK)

Profile and Expertise

DTU is a leading Scandinavian Technical University founded by Hans Christian Ørsted and situated in Kongens Lyngby north of Copenhagen. The department of DTU Informatics comprises computer science and mathematical modelling. The research group Language Based Technology participating in the project has expertise in the modelling, analysis and realisation of IT-systems using discrete and stochastic techniques, in particular static analysis and model checking, with applications to secure communication protocols and access control policies.

Main Tasks

DTU will mainly contribute to WPs 2, 3 and 4:

  • For WP2, DTU will investigate the extent to which various high-level security notions that can be viewed independently from safety considerations. Furthermore, DTU will investigate the design of high-level security primitives whose implementation can be tailored to take safety concerns into account; examples include aspects, protocols stacks and cryptographic channels.
  • For WP3, DTU will analyse to which extent fuzzy constraints and (stochastic) systems with multiple reward structures can be used to describe degrees of compliance with safety and security measures. Also DTU will study the use of model checking and fuzzy constraint solving to provide designers with information about the Pareto frontier between safety and security constraints; this may be used to mitigate the risk posed by denial of service in providing critical measurements e.g. in case studies within telemedicine and automotive.
  • For WP4, DTU will contribute to providing interfaces to the tools for model checking and constraint solving.

Relevant Experience

The research group heads MT-LAB, a VKR Centre of Excellence funded by a private company, performing research in the modelling and analysis of IT-Systems; the research group is also a key player in IDEA4CPS, a project funded by the Danish Foundation for Basic Research for the study of Cyber-Physical Systems. Senior researchers in the research group have been site leaders in a number of EU IST projects, including SENSORIA, DEGAS, SecSafe, LOMAPS, ProCoS, and have taken the role of coordinator of LOMAPS.