csa-logo

Inzemamul Haque


Department of Computer Science and Automation


Indian Institute of Science, Bangalore

iisc-logo

Presently I am working on verification of a separation kernel. A separation kernel is similar to a hypervisor. We have taken Muen, a separation kernel for x86 platform, as an exemplar of a modern separation kernel which uses hardware support for virtualization. Our goal is to verify correctness of a separation kernel.

Publications

None.