Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. - Gustavo Betarte; Maximiliano Cristiá; Carlos Daniel Luna; Adrián Silveira; Dante Zanarini (ACNS Workshops, 2020)

Set-Based Models for Cryptocurrency Software. - Gustavo Betarte; Maximiliano Cristiá; Carlos Luna 001; Adrián Silveira; Dante Zanarini (CLEI Electron. J., 2021)

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol. - Adrián Silveira; Gustavo Betarte; Maximiliano Cristiá; Carlos Luna 001 (Sensors, 2021)

An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. - Adrián Silveira; Gustavo Betarte; Maximiliano Cristiá; Carlos Luna 001 (CLEI, 2022)

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol with a Security Approach. - Adrián Silveira; Gustavo Betarte; Carlos Luna 001 (CLEI Electron. J., 2024)