Login / Signup

Enhanced Bitcoin Protocol with Effective Block Creation and Verification by Trusted Miners.

R. BalaR. Manoharan
Published in: EAI Endorsed Trans. Scalable Inf. Syst. (2020)
Keyphrases
  • cryptographic protocols
  • formal analysis
  • lightweight
  • model checking
  • digital images
  • model checker
  • digital libraries