jan DescriptionThe 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 … Read more
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
DescriptionInvestigate https://github.com/crossecore and check whether such a code generator could be an extension to it. Contact:Extent: B.Sc./ M.Sc.
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.