TY  - RPRT
TI  - Automated Cryptographic Analysis of the Pedersen Commitment Scheme
AU  - Roberto Metere
AU  - Changyu Dong
PY  - 2017
DO  - 10.1007/978-3-319-65127-9_22
UR  - https://arxiv.org/abs/1705.05897
ID  - 1705.05897
ER  -