Formalising $$\varSigma $$-Protocols and Commitment Schemes Using CryptHOL
Crossref DOI link: https://doi.org/10.1007/s10817-020-09581-w
Published Online: 2020-09-09
Published Print: 2021-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Butler, D. http://orcid.org/0000-0003-2599-0736
Lochbihler, A.
Aspinall, D.
Gascón, A.
Funding for this research was provided by:
Alan Turing Institute (EP/N510129/1)
Text and Data Mining valid from 2020-09-09
Version of Record valid from 2020-09-09
Article History
Received: 11 October 2019
Accepted: 11 August 2020
First Online: 9 September 2020