3 papers
cs.CR2021
A Formal Analysis of the MimbleWimble Cryptocurrency Protocol
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá +1
MimbleWimble (MW) is a privacy-oriented cryptocurrency technology which provides security and scalability properties that distinguish it from other protocols of its kind. We presen…
cs.SE2019
Set-Based Models for Cryptocurrency Software
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna +2
Emin Gün Sirer once said: It's clear that writing a robust, secure smart contract requires extreme amounts of diligence. It's more similar to writing code for a nuclear power react…
cs.CR2019
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna +2
MimbleWimble is a privacy-oriented cryptocurrency technology encompassing security and scalability properties that distinguish it from other protocols of the kind. In this paper we…