The integration of computing and communication capabilities with the power grid has led to
numerous vulnerabilities in the cyber-physical system (CPS). This cyber security threat can …

With an increase in the number and types of network attacks, traditional firewalls and data
encryption methods can no longer meet the needs of current network security. As a result …

Policy-based management of computer systems, computer networks and devices is a critical
technology especially for present and future systems characterized by large-scale systems …

Networks are complex and prone to bugs. Existing tools that check configuration files and
data-plane state operate offline at timescales of seconds to hours, and cannot detect or …

Today's networks typically carry or deploy dozens of protocols and mechanisms
simultaneously such as MPLS, NAT, ACLs and route redistribution. Even when individual …

We present an approach to detect network configuration errors, which combines the benefits
of two prior approaches. Like prior techniques that analyze configuration files, our approach …

Diagnosing problems in networks is a time-consuming and error-prone process. Existing
tools to assist operators primarily focus on analyzing control plane configuration …

Software-Defined Networking (SDN) introduces significant granularity, visibility and flexibility
to networking, but at the same time brings forth new security challenges. One of the …

Software Defined Networks (SDNs) support diverse network policies by offering direct,
network-wide control over how switches handle traffic. Unfortunately, many controller …

It is difficult to build a real network to test novel experiments. OpenFlow makes it easier for
researchers to run their own experiments by providing a virtual slice and configuration on …