Limiting cache-based side-channel in multi-tenant cloud using dynamic page coloring
Xen and the art of virtualization