FSR: formal analysis and implementation toolkit for safe inter-domain routing.

Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford

Browse the full SIGCOMM paper archive.