Sign in
An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol.
Adrián Silveira
Gustavo Betarte
Maximiliano Cristiá
Carlos Luna
Published in:
CLEI (2022)
Keyphrases
</>
security analysis
security model
formal model
security properties
databases