beginning of CCA family of games
Try with describing the adversary as one entity
computing advantage for CCA2dagger , CCA2
Merge branch 'master' into CCAStrat
Adapt the compression attack to Message × Message interface
IND-CCA2: Hide the Rat code
IND-CCA2: re-export Game.CCA-Common
ElGamal: functional correctness
ElGamal: Homomorphic encryption and re-encryption
Add Attack.Reencryption{,.OneBitMessage}
update crypto-agda.agda
Upgrade CCA transformations
Add Control.Strategy
.gitignore
fixes