Welcome to the resource topic for 2018/941
Title:
A tutorial introduction to CryptHOL
Authors: Andreas Lochbihler, S. Reza Sefidgar
Abstract:This tutorial demonstrates how cryptographic security notions, constructions, and game-based security proofs can be formalized using the CryptHOL framework. As a running example, we formalize a variant of the hash-based ElGamal encryption scheme and its IND-CPA security in the random oracle model. This tutorial assumes familiarity with Isabelle/HOL basics and standard cryptographic terminology.
ePrint: https://eprint.iacr.org/2018/941
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .