TY - RPRT TI - Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers AU - Ankit Kumar AU - Max von Hippel AU - Pete Manolios AU - Cristina Nita-Rotaru PY - 2023 UR - https://arxiv.org/abs/2212.05197 ID - 2212.05197 ER -