Visible to the public DEKER- Decomposing Commodity OS Kernels for Verification

Submitted by Zvonimir Rakamaric on Tue, 12/13/2016 - 4:01pm. Contributors:
License: 
Creative Commons 2.5

DEKER- Decomposing Commodity OS Kernels for Verification
Switch to experimental viewer