Game_Based_Crypto

MaRDI QIDQ53715swMATHFDO

Authors Andreas Lochbihler, S. Reza Sefidgar, Bhargav Bhatt

Publication date 5 May 2017

Official website https://www.isa-afp.org/entries/Game_Based_Crypto.html

Cites work

• A public key cryptosystem and a signature scheme based on discrete logarithms
• Unnamed Publication
• Isabelle/HOL. A proof assistant for higher-order logic
• Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
• Locales: a module system for mathematical theories
• New directions in cryptography
• Probabilistic encryption
• Probabilistic functions and cryptographic oracles in higher order logic
• The mean flow character of two-phase flow equations
• The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs

Cited in

(3)

• CryptHOL: game-based proofs in higher-order logic
• Probabilistic_While
• MFMC_Countable

This page was built for software: Game_Based_Crypto