Login / Signup
Puncturable Signatures and Applications in Proof-of-Stake Blockchain Protocols.
Xinyu Li
Jing Xu
Xiong Fan
Yuchen Wang
Zhenfeng 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