Foundations For Speculative Side Channels