Study on How Configuration Affects Security

The idea is to study security policies in the Linux kernel (or a comparable, large-scale software system) and identify the influence of software configurability (the Linux kernel has a large configuration space, managed by the Kconfig system). A future outcome could be a tool for security warnings based on smells for certain selections (e.g., based on security policies).

Extent: B.Sc./ M.Sc.