Automatic identification of semantic security vulnerabilities in system software such as kernels Ghent University
An operating system kernel is the most security-critical piece of system software running on a computer. Linux for example supports a plethora of hardware and different features for its many different use cases. To support its modularity and configurability, this code contains many indirections and interactions between different components. This leads to Linux being a security-critical code base, but at the same time being a code base which ...