Three Attacks on Proof-of-Stake Ethereum.

Caspar Schwarz-Schilling Joachim Neu Barnabé Monnot Aditya Asgaonkar Ertem Nusret Tas David Tse

Published in: CoRR (2021)

Keyphrases

countermeasures
theorem prover
theorem proving
traffic analysis
linear logic
social networks
watermarking scheme
denial of service attacks
proof theory
malicious users
chosen plaintext
database
learning algorithm
case study
database systems
security mechanisms