Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization | Publicación