Adrián Silveira

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 7

Top Topics

Payment Protocol

Software Architecture

Security Analysis

Top Venues

Publications

Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna
An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. CLEI (2022)
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Set-Based Models for Cryptocurrency Software. CLEI Electron. J. 24 (3) (2021)
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna
A Formal Analysis of the Mimblewimble Cryptocurrency Protocol. Sensors 21 (17) (2021)
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna
A Formal Analysis of the MimbleWimble Cryptocurrency Protocol. CoRR (2021)
Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna, Adrián Silveira, Dante Zanarini
Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. ACNS Workshops (2020)
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Set-Based Models for Cryptocurrency Software. CoRR (2019)
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol. CoRR (2019)