@misc{indiciae81276ca78a60,
  title = {Automated Cryptographic Analysis of the Pedersen Commitment Scheme},
  author = {Roberto Metere and Changyu Dong},
  year = {2017},
  doi = {10.1007/978-3-319-65127-9\_22},
  url = {https://arxiv.org/abs/1705.05897},
  note = {Source identifier: 1705.05897}
}