Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Data-Plane Analysis"”.
-
Diagnose network failures via data-plane analysis
… operators primarily focus on analyzing control plane configuration. Configuration analysis is limited in that it cannot find bugs in router software, and is harder to generalize across protocols since it must model complex configuration languages and dynamic protocol behavior. This paper studies …
-
Building abstractions for fast, secure, reliable computer systems
… systems: detecting net- work defects at the data plane level, exploiting data parallelism in web pages, and formally verifying security invariants in operating system kernels. This dissertation presents the design, implementation, and evaluation of the above systems, and shows that choosing …