Indistinguishability Lifting for Keyed Oracles, Compressed Ideal Cipher, and More Applications

Cryptographic security proofs often involve an adversary interacting with a larger, keyed oracle that consists of potentially exponentially many independent instances of a smaller, base oracle. However, showing quantum indistinguishability between two such keyed oracles can be tricky, since a...