Formalising $\varSigma$-Protocols and Commitment Schemes Using CryptHOL.

David Butler Andreas Lochbihler David Aspinall Adrià Gascón

Published in: J. Autom. Reason. (2021)

Keyphrases

cryptographic protocols
real time
data sets
information retrieval
distributed systems
communication protocols
private information retrieval