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