Detecting BGP Configuration Faults with Static Analysis (Awarded Best Paper).

Nick Feamster, Hari Balakrishnan

Browse the full NSDI paper archive.