Noninterference for Operating System Kernels.

Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein

Browse the full CPP paper archive.