Conference Proceedings

seL4: From general purpose to a proof of information flow enforcement

T Murray, D Matichuk, M Brassil, P Gammie, T Bourke, S Seefried, C Lewis, X Gao, G Klein

2013 IEEE Symposium on Security and Privacy | IEEE | Published : 2013