A Theoretical Framework For Modeling Cache-based Side-Channel Attacks and Countermeasures | IEEE Conference Publication | IEEE Xplore