44 citations · 151 across the 8 of their papers we have counts for
Showing 2022 · cs.NIShow all
2 papers · 2 filters
cs.NI2022★ 1 cited
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…
cs.NI2022★ 11 cited
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…