@misc{indiciae955085e405c1,
  title = {A Formal Analysis of the MimbleWimble Cryptocurrency Protocol},
  author = {Adrián Silveira and Gustavo Betarte and Maximiliano Cristiá and Carlos Luna},
  year = {2021},
  url = {https://arxiv.org/abs/2104.00822},
  note = {Source identifier: 2104.00822}
}