Prove ElGamal is IND-CPA
Prove ElGamal is not OW-CCA