Running OS Kernel in Separate Domains: A New Architecture for Applications and OS Services Quarantine | IEEE Conference Publication | IEEE Xplore