DMCA

FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing

by Yiqing Ren , Wenchao Zhou , Anduo Wang , Limin Jia
Venue:In Proc. ACM SIGCOMM Int. Conf. on Data Communication (SIGCOMM) - Demonstration, 2011. Runner-up for the ACM Student Research Competition
Citations:4 - 3 self