Report copyright - CryptHOL: Game-based Proofs in Higher-order LogicKeywords: Provable Security, Game-based Proofs, Theorem Proving, Higher-order Logic, Isabelle/HOL 1 Introduction Problem Context. In
Please pass captcha verification before submit form