Constructive Cryptography in HOL

MaRDI QIDQ7361862FDO

Authors Andreas Lochbihler, S. Reza Sefidgar

Publication date 17 December 2018

Cites work

• Constructive cryptography -- a new paradigm for security definitions and proofs
• Unnamed Publication
• The Knowledge Complexity of Interactive Proof Systems
• Universally composable security: a new paradigm for cryptographic protocols

Cited in

(1)

• Constructive Cryptography in HOL: the Communication Modeling Aspect

This page was built for software: Constructive Cryptography in HOL