Login / Signup
Unsealing the secrets of blockchain consensus: A systematic comparison of the formal security of proof-of-work and proof-of-stake.
Iván Abellán Álvarez
Vincent Gramlich
Johannes Sedlmeir
Published in:
SAC (2024)
Keyphrases
</>
theorem prover
information security
security analysis
linear logic
neural network
search engine
wireless sensor networks
network security
theorem proving
formal methods