Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Network Verification

We are building a set of tools for dealing with network security and reliability. The tools allow to statically check networks and to dynamically test networks using automatically generated probe packets. Our tools include Batfish that checks routes created by routing protocols against network policies, Network Optimized Datalog that is a version of Datalog tuned to header spaces, and SecGuru that is used in Azure to check network access restrictions and consistency of routing configurations.




  • Karthick Jayaraman, Microsoft Azure
  • Gordon Plotkin, University of Edinburgh
  • Todd Millstein, UCLA




  • Ari Fogel, UCLA, 2013, 2014

  • Mingchen Zhao, U Penn, 2013

  • Garvit Juniwal, UC Berkeley, 2014