seL4: from general purpose to a proof of information flow enforcement (2013)

by T Murray, D Matichuk, M Brassil, P Gammie, T Bourke, S Seefried, C Lewis, X Gao, G Klein
Venue:in Proceedings of the 34th IEEE Symposium on Security and Privacy (SP