CryptHOL

MaRDI QIDQ7361923FDO

Authors Andreas Lochbihler

Publication date 5 May 2017

Cites work

• Unnamed Publication
• Probabilistic functions and cryptographic oracles in higher order logic

Cited in

(5)

• Sigma Protocols and Commitment Schemes
• CRYSTALS-Kyber_Security
• Game-based cryptography in HOL
• ABY3 Multiplication and Array Shuffling
• Constructive Cryptography in HOL

This page was built for software: CryptHOL