When static verification is not enough: revealing BGP bugs at runtime - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Pietro Ronchetti' in GoogleThis author has not been identified. Look up 'Tibor Schneider' in GoogleThis author has not been identified. Look up 'Laurent Vanbever' in Google

runs on WebDSL