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

Adrin Silveira, Gustavo Betarte, Maximiliano Cristi, Carlos Luna

Browse the full CLEI paper archive.