crypto.graphics
IND-CCA1 Security Game
(Indistinguishability under Chosen Ciphertext Attack, Non-Adaptive)
  {genKeys, E, D} is the candidate public cryptosystem.
| b = 0 | b = 1 | Adversary | ||
| sk, pk = genKeys() | → | pk | ||
| c | ← | c ∈ Ciphertexts | ||
| p = D(sk, c) | → | p | ||
| m0, m1 | ← | m0, m1 ∈ Inputs | ||
| c = E(pk, m0) | c = E(pk, m1) | → | c | |
| bguess ∈ {0, 1} | ||||
| bguess ↓ | ||||