122 citations · 1.4k across the 57 of their papers we have counts for
1 paper · 2 filters
Inzemamul Haque, Deepak D'Souza, Habeeb P +2
We present a formal verification of the functional correctness of the Muen Separation Kernel. Muen is representative of the class of modern separation kernels that leverage hardwar…