Less is More -- A Secure Microkernel-Based Operating System | IEEE Conference Publication | IEEE Xplore