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
↓