G
ame_
B
ased_
C
rypto
Diffie_Hellman
IND_CCA2
IND_CCA2_sym
IND_CPA
IND_CPA_PK
IND_CPA_PK_Single
SUF_CMA
Pseudo_Random_Function
Pseudo_Random_Permutation
Guessing_Many_One
Unpredictable_Function
Security_Spec
Elgamal
Hashed_Elgamal
RP_RF
PRF_UHF
PRF_IND_CPA
PRF_UPF_IND_CCA
Cryptographic_Constructions
Game_Based_Crypto
CryptHOL_Tutorial