When static verification is not enough: revealing BGP bugs at runtime

Authors: Pietro Ronchetti, Tibor Schneider, and Laurent Vanbever

ACM SIGCOMM 2026

People

Pietro Ronchetti

PhD student

Dr. Tibor Schneider

Post-doc

Prof. Laurent Vanbever

Group Leader

BibTex

@inproceedings{ronchetti2026static,
  author    = {Ronchetti, Pietro and Schneider, Tibor and Vanbever, Laurent},
  title     = {{When static verification is not enough: revealing BGP bugs at runtime}},
  booktitle = {ACM SIGCOMM 2026},
  address   = {Denver, CO, USA},
  year      = 2026,
  month     = aug
}

Research Collection: 20.500.11850/800202