seL4: From General Purpose to a Proof of Information Flow Enforcement.
Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein
VenueA*SP
Year2013
ProceedingsIEEE Symposium on Security and Privacy
DBLP recordconf/sp/MurrayMBGBSLGK13 ↗
Browse the full SP paper archive.