External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol

Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna, Adrián Silveira, Dante Zanarini. Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. In Jianying Zhou 0001, Mauro Conti, Chuadhry Mujeeb Ahmed, Man Ho Au, Lejla Batina, Zhou Li 0001, Jingqiang Lin, Eleonora Losiouk, Bo Luo, Suryadipta Majumdar, Weizhi Meng, Martín Ochoa, Stjepan Picek, Georgios Portokalidis, Cong Wang 0001, Kehuan Zhang, editors, Applied Cryptography and Network Security Workshops - ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19-22, 2020, Proceedings. Volume 12418 of Lecture Notes in Computer Science, pages 3-23, Springer, 2020. [doi]

Authors

Gustavo Betarte

This author has not been identified. Look up 'Gustavo Betarte' in Google

Maximiliano Cristiá

This author has not been identified. Look up 'Maximiliano Cristiá' in Google

Carlos Daniel Luna

This author has not been identified. Look up 'Carlos Daniel Luna' in Google

Adrián Silveira

This author has not been identified. Look up 'Adrián Silveira' in Google

Dante Zanarini

This author has not been identified. Look up 'Dante Zanarini' in Google
runs on