No More Attacks on Proof-of-Stake Ethereum?

Francesco D'Amato Joachim Neu Ertem Nusret Tas David Tse

Published in: CoRR (2022)

Keyphrases

denial of service attacks
watermarking scheme
security threats
data sets
terrorist attacks
malicious attacks
linear logic
countermeasures
theorem proving
security mechanisms
smart card
security flaws
java card
traffic analysis
first order logic
database
attack detection
malicious users
complete axiomatization