Identification and Analysis of Security Features

Description The goal of the thesis is to identify and analyze the parts of the code of open-source software where security features are implemented. Since it is difficult to find all security feature implementations in a software system, we want to use a systematic approach starting from easily identifiable security-critical fields and methods. Based on … Read more

Novel Variation Management Systems

DescriptionSoftware variability management is challenging. We’re working towards novel variation management systems, see publications below. TODO: reference to publications Contact:Extent: B.Sc./ M.Sc.

thesis together with Danfoss Denmark

Descriptionstatic analysis of firmware source code to extract configuration constraints and to reverse-engineer/extend a variability model Contact:Extent: B.Sc./ M.Sc.