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]
No references recorded for this publication.
No citations of this publication recorded.