DDoSCoin: Cryptocurrency with a Malicious Proof-of-Work.

Eric Wustrow Benjamin VanderSloot

Published in: WOOT (2016)

Keyphrases

malicious behavior
theorem proving
malicious users
theorem prover
linear logic
database
real time
real world
genetic algorithm
e learning
image sequences
proof search