+Attack/Compression.agda
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