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

Presented at IEEE Symposium on Security and Privacy 2024 by

Ankit Kumar

Max Hippel

Panagiotis Manolios

Cristina Nita-Rotaru