@misc{indiciae0382675895de,
  title = {Data-Driven Model-Based Analysis of the Ethereum Verifier's Dilemma},
  author = {Maher Alharby and Roben Castagna Lunardi and Amjad Aldweesh and Aad van Moorsel},
  year = {2020},
  url = {https://arxiv.org/abs/2004.12768},
  note = {Source identifier: 2004.12768}
}