Reducing size and complexity of the security-critical code base of file systems

Carsten Weinhold. Reducing size and complexity of the security-critical code base of file systems. PhD thesis, Dresden University of Technology, 2014. [doi]

Abstract

Abstract is missing.