Automated Cryptographic Analysis of the Pedersen Commitment Scheme

First Author: Metere R
Attributed to:  Practical Data-intensive Secure Computation: a Data Structural Approach funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-65127-9_22

Publication URI: https://doi.org/10.1007/978-3-319-65127-9_22

Type: Book Chapter

Book Title: Computer Network Security (2017)

Page Reference: 275-287

ISSN: 2731-4383