Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol

Lecture Notes in Computer Science - Applied Cryptography and Network Security Workshops ◽

10.1007/978-3-030-61638-0_1 ◽

2020 ◽

pp. 3-23

Author(s):

Gustavo Betarte ◽

Maximiliano Cristiá ◽

Carlos Luna ◽

Adrián Silveira ◽

Dante Zanarini

Download Full-text