Adrián Silveira
Orcid: 0000-0001-8742-046X
According to our database1,
Adrián Silveira
authored at least 5 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A Formal Analysis of the Mimblewimble Cryptocurrency Protocol with a Security Approach.
CLEI Electron. J., 2024
2022
An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol.
Proceedings of the XLVIII Latin American Computer Conference, 2022
2021
2020
Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol.
Proceedings of the Applied Cryptography and Network Security Workshops, 2020