(* Title: Cryptographic_Constructions.thy Author: Andreas Lochbihler, ETH Zurich *) theory Cryptographic_Constructions imports Elgamal Hashed_Elgamal RP_RF PRF_UHF PRF_IND_CPA PRF_UPF_IND_CCA begin end