Verification of GossipSub in ACL2s

15 November 2023

Papers citing "Verification of GossipSub in ACL2s"

2 / 2 papers shown

Title
Deanonymizing Ethereum Validators: The P2P Network Has a Privacy Issue Lioba Heimbach Yann Vonlanthen Juan Villacis Lucianna Kiffer Roger Wattenhofer 27 2 0 06 Sep 2024
Formal Verification of a Distributed Dynamic Reconfiguration Protocol William Schultz Ian Dardik S. Tripakis 32 11 0 24 Sep 2021