Conference Proceedings

Noninterference for Operating System Kernels

TC Murray, D Matichuk, M Brassil, P Gammie, G Klein, C Hawblitzel (ed.), D Miller (ed.)

Certified Programs and Proofs | Springer Berlin Heidelberg | Published : 2012

DOI: 10.1007/978-3-642-35308-6_12

University of Melbourne Researchers