Noninterference for Operating System Kernels. - Toby C. Murray; Daniel Matichuk; Matthew Brassil; Peter Gammie; Gerwin Klein (CPP, 2012)

seL4: From General Purpose to a Proof of Information Flow Enforcement. - Toby C. Murray; Daniel Matichuk; Matthew Brassil; Peter Gammie; Timothy Bourke; Sean Seefried; Corey Lewis; Xin Gao; Gerwin Klein (IEEE Symposium on Security and Privacy, 2013)