@misc{indiciaecb250eeee11b,
  title = {Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers},
  author = {Ankit Kumar and Max von Hippel and Pete Manolios and Cristina Nita-Rotaru},
  year = {2023},
  url = {https://arxiv.org/abs/2212.05197},
  note = {Source identifier: 2212.05197}
}