Formalising $$\varSigma $$-Protocols and Commitment Schemes Using CryptHOL (2020)

First Author: Butler D

Attributed to: The Alan Turing Institute funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/s10817-020-09581-w

Publication URI: http://dx.doi.org/10.1007/s10817-020-09581-w

Type: Journal Article/Review

Parent Publication: Journal of Automated Reasoning

Issue: 4

ISSN: 15730670 01687433