@misc{indiciae5021eb663acb,
  title = {Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol},
  author = {Gustavo Betarte and Maximiliano Cristiá and Carlos Luna and Adrián Silveira and Dante Zanarini},
  year = {2019},
  url = {https://arxiv.org/abs/1907.01688},
  note = {Source identifier: 1907.01688}
}