Foundations for Speculative Side Channels