SpectreCheck: An Approach to Detecting Speculative Execution Side Channels in Data Cache | IEEE Conference Publication | IEEE Xplore