32 citations · 105 across the 10 of their papers we have counts for
6 papers · 1 filter
Test Coverage for Network Configurations
Xieyang Xu, Weixin Deng, Ryan Beckett +2
We develop NetCov, the first tool to reveal which network configuration lines are being tested by a suite of network tests. It helps network engineers improve test suites and thus…
FP4: Line-rate Greybox Fuzz Testing for P4 Switches
Nofel Yaseen, Liangcheng Yu, Caleb Stanford +2
Compared to fixed-function switches, the flexibility of programmable switches comes at a cost, as programmer mistakes frequently result in subtle bugs in the network data plane. In…
ACORN: Network Control Plane Abstraction using Route Nondeterminism
Divya Raghunathan, Ryan Beckett, Aarti Gupta +1
Networks are hard to configure correctly, and misconfigurations occur frequently, leading to outages or security breaches. Formal verification techniques have been applied to guara…
Modular Control Plane Verification via Temporal Invariants
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta +1
Monolithic control plane verification cannot scale to hyperscale network architectures with tens of thousands of nodes, heterogeneous network policies and thousands of network chan…
LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification
Alan Tang, Ryan Beckett, Steven Benaloh +4
Current network control plane verification tools cannot scale to large networks, because of the complexity of jointly reasoning about the behaviors of all nodes in the network. In…
Kirigami, the Verifiable Art of Network Cutting
Tim Alberdingk Thijm, Ryan Beckett, Aarti Gupta +1
We introduce a modular verification approach to network control plane verification, where we cut a network into smaller fragments to improve the scalability of SMT solving. Users p…