Login / Signup
Proofs of Work for Blockchain Protocols.
Juan A. Garay
Aggelos Kiayias
Giorgos Panagiotakos
Published in:
IACR Cryptol. ePrint Arch. (2017)
Keyphrases
</>
theorem proving
theorem prover
security protocols
formal proofs
multi party
neural network
decision procedures
key exchange
data sets
real world
computer vision