A Secure System-Wide Process Scheduler across Virtual Machines | IEEE Conference Publication | IEEE Xplore