Lightweight Shadow Paging for Efficient Memory Isolation in Gandalf VMM | IEEE Conference Publication | IEEE Xplore