Game-based cryptography in HOL

MaRDI QIDQ7361695FDO

Authors Andreas Lochbihler, S. Reza Sefidgar, Bhargav Bhatt

Publication date 5 May 2017

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)

• Multi-Party Computation
• Constructive Cryptography in HOL: the Communication Modeling Aspect
• CRYSTALS-Kyber_Security

This page was built for software: Game-based cryptography in HOL