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:
CoRR (2024)
Keyphrases
</>
information security
theorem proving
data sets
information retrieval
genetic algorithm
formal model
security protocols
linear logic