Two Attacks On Proof-of-Stake GHOST/Ethereum.

Joachim Neu Ertem Nusret Tas David Tse

Published in: CoRR (2022)

Keyphrases

countermeasures
theorem proving
malicious attacks
watermarking scheme
dynamic range
data publishing
malicious users
data mining
database systems
theorem prover
watermarking algorithm
security threats
denial of service attacks
terrorist attacks
security vulnerabilities