Visible to the public Trustworthy Kernel Separation through Monads

Submitted by brad_martin on Mon, 02/20/2012 - 3:43pm. Contributors:

Presented as part of the 2002 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

Trustworthy Kernel Separation through Monads
Switch to experimental viewer