Adrián Silveira

Orcid: 0000-0001-8742-046X

According to our database¹, Adrián Silveira authored at least 4 papers between 2020 and 2022.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol.

[BibT_eX]

[DOI]

Proceedings of the XLVIII Latin American Computer Conference, 2022

2021

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol.

[BibT_eX]

[DOI]

Sensors, 2021

Set-Based Models for Cryptocurrency Software.

[BibT_eX]

[DOI]

CLEI Electron. J., 2021

2020

Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security Workshops, 2020

Adrián Silveira

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...