Adrin Silveira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2020–2022
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CLEI | An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. | Adrin Silveira, Gustavo Betarte, Maximiliano Cristi, Carlos Luna |
| 2020 | ACNS | Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. | Gustavo Betarte, Maximiliano Cristi, Carlos Daniel Luna, Adrin Silveira, Dante Zanarini |