Tolerating malicious device drivers in Linux
utilizing iommus for virtualization in linux and xen muli .