A Model-Driven Analysis of Mimblewimble Security Properties and its Protocol Implementations
Mimblewimble is a privacy-oriented cryptocurrency technology that provides security and scalability properties that distinguish it from other protocols. Mimblewimble’s cryptographic approach is based on Elliptic Curve Cryptography which allows verifying a transaction without revealing any informatio...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , , |
| Format: | article |
| Language: | Spanish |
| Published: |
2023
|
| Subjects: | |
| Online Access: | http://revistas.um.edu.uy/index.php/ingenieria/article/view/1148 |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: A Model-Driven Analysis of Mimblewimble Security Properties and its Protocol Implementations
- A formal analysis of the mimblewimble cryptocurrency protocol with a security approach
- Verification of model transformations : A survey of the state-of-the-art (Extended version)
- Institution-based semantics for MOF and QVT-relations :Extended version
- Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
- Blockchain and Arbitration: A New Approach to Dispute Resolution. Special Emphasis on Smartcontracts and Cryptocurrencies
- A formal specification of the MIDP 2.0 security model