The Language-Based Technology group is currently involved in the following national and international research projects:
Previously we have been involved, among others, in DEGAS (EU), LoST (DK), SecSafe (EU), and SecSaf (DK).
The scope of MT-LAB, a VKRCentre of Excellence, is 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 is 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 will be combined.
(local web page) (official web page)
The new approach of this project is to tackle the challenge of adding security concerns to existing programs by using the relatively new programming technique of aspects and programming languages that support these. While there already exist aspect-oriented versions of languages like Java, there do not yet exist research result on the possibilities of using aspects for ensuring the users' IT security. Exactly these results will be developed in this project, together with insights on how these techniques can be used in distributed and mobile settings.
(local web page) (official web page)
The idea in this project is to use advanced static analysis techniques to analyse internet-based protocols—protocols that must be protected from attacks by powerful adversaries.
The aim of SENSORIA is to develop a novel comprehensive approach to the engineering of software systems for service-oriented architectures where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. The results of SENSORIA will include a new generalised concept of service for global overlay computers, new modelling and programming primitives for services, new powerful mathematical analysis and verification techniques, and tools for system behaviour and quality of service properties.
(official project web page)
Funded by the Danish Research Academy under the IT-research programme, 2004-2008.
The goals of the project are to study methods and techniques for the development of embedded systems with demands on safety and security in adherence to international standards, and to use, operate, and modify the most promising internationally available techniques and tools for static program analysis and model checking, aiming at validating safety and security properties.