The Computational SLR: A Logic for Reasoning about Computational Indistinguishability