Full paper is available here : http://www.openbsd.org/papers/asiabsdcon2016-xen-paper.pdf