Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures | IEEE Conference Publication | IEEE Xplore