Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Adrián Silveira
Observed names:
Adrian Silveira,
Silveira, Adrián
Observed institution:
Universidad de la República de Uruguay
ORCID:
0000-0001-8742-046X
Observed ORCID:
0000-0001-8742-046X
OpenAlex ID:
A5040486882
Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol
2020
·
Gustavo Betarte
, Maximiliano Cristiá
, et al.
·
Lecture notes in computer science
·
14
PDF
Set-Based Models for Cryptocurrency Software
2021
·
Gustavo Betarte
, Maximiliano Cristiá
, et al.
·
CLEI electronic journal
·
6
PDF
A range proof scheme analysis for the Mimblewimble cryptocurrency protocol
2021
·
Adrian Silveira
, Gustavo Betarte
, et al.
·
IEEE URUCON
·
3
A Formal Analysis of the Mimblewimble Cryptocurrency Protocol
2021
·
Adrián Silveira
, Gustavo Betarte
, et al.
·
Sensors
·
2
PDF
A Formal Analysis of the Mimblewimble Cryptocurrency Protocol with a Security Approach
2024
·
Adrian Silveira
, Gustavo Betarte
, et al.
·
CLEI electronic journal
·
1
A Human-in-the-Loop Framework for AI-Assisted Scoring in Large-Scale Writing Assessment
2026
·
Curi, María Eugenia
, Capdehourat, Germán
, et al.
·
arXiv (Cornell University)
PDF
A Model-Driven Analysis of Mimblewimble Security Properties and its Protocol Implementations
2023
·
Adrián Silveira
, Gustavo Betarte
, et al.
·
Memoria Investigaciones en Ingeniería
PDF
An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol
2022
·
Adrian Silveira
, Gustavo Betarte
, et al.
·
Latin American Computer Conference (CLEI)
Show more works
View as search
Works count:
9
Citation count:
26
H-index:
3
I10-index:
1
Year
Topic
Type
