Visible to the public Trustworthy Kernel Separation through Monads

Submitted by adyson on Mon, 02/20/2012 - 3:43pm. Contributors:
Switch to experimental viewer

Trustworthy Kernel Separation through Monads
Contributor(s): 
Peter White
James Hook