Browsing by Author "Luna, Carlos"
Now showing items 1-1 of 1
-
A Model-Driven Analysis of Mimblewimble Security Properties and its Protocol Implementations
Silveira, Adrián; Betarte, Gustavo; Cristiá, Maximiliano; Luna, Carlos
Now showing items 1-1 of 1