Build the adversary

For each security notion, pick the oracle and capability options that define the adversary's game. Three slots per round: the pre-challenge oracle, the post-challenge oracle, and who controls the encryption randomness.