Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers.

Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru

Browse the full SP paper archive.