Pietro Ronchetti, Tibor Schneider, Laurent Vanbever. When static verification is not enough: revealing BGP bugs at runtime. In Eric Keller, Sangtae Ha, Laurent Vanbever, Theophilus Benson, editors, Proceedings of the ACM SIGCOMM 2026 Conference, SIGCOMM 2026, Colorado Convention Center, Denver, CO, USA, August 17-21, 2026. pages 92-105, ACM, 2026. [doi]
Abstract is missing.