The Balance Attack Against Proof-Of-Work Blockchains: The R3 Testbed as an Example.

Christopher Natoli Vincent Gramoli

Published in: CoRR (2016)

Keyphrases

countermeasures
theorem prover
theorem proving
data sets
attack detection
geometry theorem proving
databases
neural network
machine learning
search engine
malicious users