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

10 December 2022

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

4 / 4 papers shown

Title
Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network Ben Weintraub Satwik Prabhu Kumble Cristina Nita-Rotaru Stefanie Roos 28 2 0 03 May 2024
Verification of GossipSub in ACL2s Ankit Kumar Max von Hippel P. Manolios Cristina Nita-Rotaru 19 1 0 15 Nov 2023
Formal Verification of a Distributed Dynamic Reconfiguration Protocol William Schultz Ian Dardik S. Tripakis 19 10 0 24 Sep 2021
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts Kushal Babel Philip Daian Mahimna Kelkar Ari Juels 69 63 0 09 Sep 2021