Computationally sound Bitcoin tokens

Massimo Bartoletti, Stefano Lande, Roberto Zunino. Computationally sound Bitcoin tokens. In 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021. pages 1-15, IEEE, 2021. [doi]

@inproceedings{BartolettiLZ21,
  title = {Computationally sound Bitcoin tokens},
  author = {Massimo Bartoletti and Stefano Lande and Roberto Zunino},
  year = {2021},
  doi = {10.1109/CSF51468.2021.00022},
  url = {https://doi.org/10.1109/CSF51468.2021.00022},
  researchr = {https://researchr.org/publication/BartolettiLZ21},
  cites = {0},
  citedby = {0},
  pages = {1-15},
  booktitle = {34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021},
  publisher = {IEEE},
  isbn = {978-1-7281-7607-9},
}