Cryptography
Ciphertext indistinguishability
IP
Semantic security
Advantage
Constructible universe
Homomorphic encryption
Probabilistically checkable proof