Screencasts of the FSR Toolkit -- SIGCOMM'11 Demo

  • FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing. [Paper]
       Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J.T. Gurney, Boon Thau Loo, and Jennifer Rexford.
       ACM SIGCOMM Conference on Data Communication (demonstration), Toronto, Canada, Aug, 2011.
       Runner-up for the ACM Student Research Competition at SIGCOMM'11.


    •  Videos are best viewed in 720p and full screen mode.

    Gao-Rexford Economic Relationship (Breaking tie with hop count)