C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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