Login / Signup

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

Adrián SilveiraGustavo BetarteMaximiliano CristiáCarlos Luna
Published in: CLEI (2022)
Keyphrases
  • security analysis
  • security model
  • formal model
  • security properties
  • databases