(* Title: Game_Based_Crypto.thy Author: Andreas Lochbihler, ETH Zurich *) theory Game_Based_Crypto imports Security_Spec Cryptographic_Constructions begin end