Prefetch-guard: Leveraging hardware prefetches to defend against cache timing channels | IEEE Conference Publication | IEEE Xplore