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

Toby Murray(Data61), Gerwin Klein(Data61)

Unknown

May 1, 2013

10.1109/sp.2013.35

Cited by 204

Related Papers

No related papers found

Powered by citation graph analysis