Login / Signup

Puncturable Signatures and Applications in Proof-of-Stake Blockchain Protocols.

Xinyu LiJing XuXiong FanYuchen WangZhenfeng Zhang
Published in: IEEE Trans. Inf. Forensics Secur. (2020)
Keyphrases
  • theorem prover
  • signature verification
  • communication protocols
  • signature recognition
  • automated theorem provers
  • genetic algorithm
  • multi agent systems
  • theorem proving
  • signature scheme
  • multi party