Constructive Cryptography in HOL: the Communication Modeling Aspect

MaRDI QIDQ7361367FDO

Authors Andreas Lochbihler, S. Reza Sefidgar

Publication date 17 March 2021

Cites work

• Constructive cryptography -- a new paradigm for security definitions and proofs
• CryptHOL: game-based proofs in higher-order logic
• From Indifferentiability to Constructive Cryptography (and Back)
• Probabilistic functions and cryptographic oracles in higher order logic

This page was built for software: Constructive Cryptography in HOL: the Communication Modeling Aspect