Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna 0001. An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. In XLVIII Latin American Computer Conference, CLEI 2022, Armenia, Colombia, October 17-21, 2022. pages 1-10, IEEE, 2022. [doi]
Abstract is missing.