seL4: From General Purpose to a Proof of Information Flow Enforcement

Toby Murray(The University of Melbourne), Gerwin Klein(Computercraft (United States))
Unknown
May 1, 2013
10.1109/sp.2013.35
Cited by 204

Related Papers

No related papers found

Powered by citation graph analysis