crypto.graphics
CPA (Chosen-Plaintext Attack) Security Game
  E is the encryption function of a candidate symmetric cryptosystem {E, D}
| b = 0 | b = 1 | Adversary | ||
| k = rand(Keys) | ||||
| m0, m1 | ← | m0, m1 ∈ Inputs: |m0| == |m1| | ||
| c = E(k, m0) | c = E(k, m1) | → | c | |
| bguess ∈ {0, 1} | ||||
| bguess ↓ | ||||