Sign in

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

Tuyet DuongLei FanJonathan KatzPhuc ThaiHong-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