Formalising Σ-Protocols and Commitment Schemes using CryptHOL.

David Butler Andreas Lochbihler David Aspinall Adrià Gascón

Published in: IACR Cryptol. ePrint Arch. (2019)

Keyphrases

communication protocol
e learning
decision trees
private information retrieval