Silveira, Adrián, et al. “A Model-Driven Analysis of Mimblewimble Security Properties and Its Protocol Implementations”. Memoria Investigaciones En Ingeniería, no. 24, June 2023, pp. 129-42, doi:10.36561/ING.24.10.