News > PhD Project in Formal Methods for Security & Trust

Application deadline: 28 September 2016

DTU compute would like to invite applications for a 3-year PhD position starting November 2016 or as soon as possible thereafter. The project is financed by a EU-Horizon 2020 project called LIGHTest.

Project Description
The EU-project LIGHTest  is a collaboration of 14 industrial and academic partners from 9 EU countries for establishing a lightweight trust infrastructure for identity management and electronic transactions. The goal is to allow verifiers to easily evaluate a transaction based on a variety of aspects such as trust schemes, business policies, device attestation schemes, and reputation systems. This should support both binary trust decisions as well as quantitative ones. A core idea to achieve practical solutions that are actually ready to use at the end of the EU-project is to use and integrate existing trust infrastructures like the Domain Name System. LIGHTest is a successor project of FutureID that has focussed on identity management infrastructures.

While most participants of the EU-project are industrial partners concerned with the implementation and application of technology, the role of DTU and this PhD project is the scientific foundation. This involves formalization and design of formal description languages for the trust assumptions that the systems deal with, and using these descriptions for reasoning about chains of trust, delegation, and certifications. The main aim here is to detect early in the project any conceptual mistakes or ambiguities and resolve them in a clean, logical way. In the course of the project, this will help to support the implementation by enabling both model-driven design and formal verification of the systems. Therefore, we also aim at designing automated verification and synthesis methods for the formal descriptions.

This PhD project is hosted in the Formal Methods group at DTU Compute that has been working on modelling, automated verification, and synthesis of safety-critical and security-critical systems. The supervisor of the PhD student will be Assoc. Prof. Sebastian Mödersheim whose research focuses on automated methods for analyzing security and privacy of distributed systems as well as their composition.

For more information please see:

Application dealine:  September 28th 2016.