seL4: From General Purpose to a Proof of Information Flow Enforcement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein. seL4: From General Purpose to a Proof of Information Flow Enforcement. In 2013 IEEE Symposium on Security and Privacy, SP 2013, Berkeley, CA, USA, May 19-22, 2013. pages 415-429, IEEE Computer Society, 2013. [doi]

This author has not been identified. Look up 'Toby C. Murray' in GoogleThis author has not been identified. Look up 'Daniel Matichuk' in GoogleThis author has not been identified. Look up 'Matthew Brassil' in GoogleThis author has not been identified. Look up 'Peter Gammie' in GoogleThis author has not been identified. Look up 'Timothy Bourke' in GoogleThis author has not been identified. Look up 'Sean Seefried' in GoogleThis author has not been identified. Look up 'Corey Lewis' in GoogleThis author has not been identified. Look up 'Xin Gao' in GoogleThis author has not been identified. Look up 'Gerwin Klein' in Google

runs on WebDSL