Analysis of Monolithic and Microkernel Architectures: Towards Secure Hypervisor Design | IEEE Conference Publication | IEEE Xplore