A Formal Analysis of the Mimblewimble Cryptocurrency Protocol.

Adrián Silveira Gustavo Betarte Maximiliano Cristiá Carlos Luna

Published in: Sensors (2021)

Keyphrases

formal analysis
ban logic
formal methods
payment protocol
agent model
databases
relational databases
knowledge representation
lightweight