An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol[C] 2022 XVLIII LATIN AMERICAN COMPUTER CONFERENCE (CLEI 2022) 2022 Silveira, Adrian Betarte, Gustavo Cristia, Maximiliano Luna, Carlos
