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]
@inproceedings{BetarteCLSZ20,
title = {Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol},
author = {Gustavo Betarte and Maximiliano Cristiá and Carlos Daniel Luna and Adrián Silveira and Dante Zanarini},
year = {2020},
doi = {10.1007/978-3-030-61638-0_1},
url = {https://doi.org/10.1007/978-3-030-61638-0_1},
researchr = {https://researchr.org/publication/BetarteCLSZ20},
cites = {0},
citedby = {0},
pages = {3-23},
booktitle = {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},
editor = {Jianying Zhou 0001 and Mauro Conti and Chuadhry Mujeeb Ahmed and Man Ho Au and Lejla Batina and Zhou Li 0001 and Jingqiang Lin and Eleonora Losiouk and Bo Luo and Suryadipta Majumdar and Weizhi Meng and Martín Ochoa and Stjepan Picek and Georgios Portokalidis and Cong Wang 0001 and Kehuan Zhang},
volume = {12418},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-61638-0},
}