Analyzing and improving Linux kernel memory protection: a model checking approach.

Siarhei Liakh, Michael C. Grace, Xuxian Jiang

Browse the full ACSAC paper archive.