2-hop Blockchain: Combining Proof-of-Work and Proof-of-Stake Securely.

Tuyet Duong Lei Fan Jonathan Katz Phuc Thai Hong-Sheng Zhou

Published in: ESORICS (2) (2020)

Keyphrases

theorem proving
theorem prover
neural network
real world
machine learning
image segmentation
image sequences
logic programming
combining multiple