Alexander Gurney

[main page]

publications.

• Behnaz Arzani, Alexander Gurney, Shuotian Cheng, Roch Guerin and Boon Thau Loo. 2014. Impact of Path Selection and Scheduling Priorities on MPTCP Performance. Proceedings of the 4th International Workshop on Protocols and Applications with Multi-Homing Support (PAMS 2014), Victoria, Canada.
• Anduo Wang, Alexander Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn Talcott and Andre Scedrov. 2014. A Reduction-Based Approach Towards Scaling Up Formal Analysis of Internet Configurations. Proceedings of the 33rd IEEE International Conference on Computer Communications (INFOCOM 2014), Toronto.
• Debbie Perouli, Stefano Vissicchio, Alexander Gurney, Olaf Maennel, Timothy Griffin, Iain Phillips, Sonia Fahmy, Cristel Pelsser. 2012. Reducing the Complexity of BGP Stability Analysis with Hybrid Combinatorial-Algebraic Models. Proceedings of the 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012), Austin.
• Debbie Perouli, Timothy G. Griffin, Olaf Maennel, Sonia Fahmy, Cristel Pelsser, Alexander Gurney, Iain Phillips. 2012. Detecting Unsafe BGP Policies in a Flexible World. Proceedings of the 20th IEEE International Conference on Network Protocols (ICNP 2012), Austin.
• Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr and Boon Thau Loo. 2012. Private and verifiable interdomain routing decisions. ACM SIGCOMM, Helsinki.
• Andreas Haeberlen, Mingchen Zhao, Wenchao Zhou, Alexander Gurney, Micah Sherr and Boon Thau Loo. 2012. Privacy-Preserving Collaborative Verification Protocols. Workshop on Large-Scale Distributed Systems and Middleware (LADIS 2012), Madeira.
• Anduo Wang, Carolyn Talcott, Alexander J. T. Gurney, Boon Thau Loo and Andre Scedrov. 2012. A calculus of policy-based routing systems (brief announcement). 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2012), Madeira.
• Anduo Wang, Carolyn Talcott, Alexander J. T. Gurney, Boon Thau Loo and Andre Scedrov. 2012. Reduction-based Formal Analysis of BGP Instances. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Tallinn.
• Alexander J. T. Gurney, Andreas Haeberlen, Wenchao Zhou, Micah Sherr and Boon Thau Loo. 2011. Having your cake and eating it too: Routing security with privacy protections. Tenth ACM Workshop on Hot Topics in Networking (HotNets-X), Boston.
• Alexander J. T. Gurney, Limin Jia, Anduo Wang and Boon Thau Loo. 2011. Partial specification of routing configurations. Workshop on Rigorous Protocol Engineering (WRiPE 2011), Vancouver.
• Alexander J. T. Gurney and Timothy G. Griffin. 2011. Pathfinding through congruences. Proceedings of the 12th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2011), Rotterdam. Springer LNCS 6663, p180-195.
• Alexander J. T. Gurney and Timothy G. Griffin. 2010. Neighbor-specific BGP: An algebraic exploration. Proceedings of the 18th IEEE International Conference on Network Protocols (ICNP 2010), Kyoto, pages 103–112.
• Alexander J. T. Gurney. 2009. Construction and verification of routing algebras. PhD thesis, University of Cambridge.
• Timothy G. Griffin and Alexander J. T. Gurney. 2008. Increasing bisemigroups and algebraic routing. Proceedings of the 10th International Conference on Relational Methods in Computer Science (RelMiCS 10), Frauenworth, Germany.
  Also appeared as LNCS, volume 4988.
• Alexander J. T. Gurney and Timothy G. Griffin. 2007. Lexicographic products in metarouting. Proceedings of the 15th IEEE International Conference on Network Protocols (ICNP 2007), Beijing.

demos.

• Alexander J. T. Gurney, Xianglong Han, Yang Li, Boon Thau Loo. 2012. Route Shepherd: Stability Hints for the Control Plane. ACM SIGCOMM, Helsinki. There is also a demo video.
• Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn Talcott, Boon Thau Loo, Andre Scedrov. 2012. Reduction-based Analysis of BGP Systems with BGPVerif. ACM SIGCOMM, Helsinki.
• Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J.T. Gurney, Boon Thau Loo, and Jennifer Rexford. 2011. FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing. ACM SIGCOMM, Toronto. There is also a demo video.