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
DOI: 10.1109/SP.2013.35