SIDE: Isolated and efficient execution of unmodified device drivers | IEEE Conference Publication | IEEE Xplore