@misc{indiciae4b9c5feb20cb,
  title = {Formalizing Nakamoto-Style Proof of Stake},
  author = {Søren Eller Thomsen and Bas Spitters},
  year = {2021},
  doi = {10.1109/csf51468.2021.00042},
  url = {https://arxiv.org/abs/2007.12105},
  note = {Source identifier: 2007.12105}
}