• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Revelio: A MimbleWimble Proof of Reserves Protocol.

Arijit DuttaSaravanan Vijayakumaran
Published in: CVCBT (2019)
Keyphrases
  • formal proof
  • lightweight
  • communication protocol
  • network protocols
  • theorem prover
  • communication protocols
  • information systems
  • security analysis
  • tcp ip
  • linear logic
  • coloured petri nets