Lightyear: Using Modularity to Scale BGP Control Plane Verification-Reference-Cited by-同舟云学术

Lightyear: Using Modularity to Scale BGP Control Plane Verification

Published:2023-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM SIGCOMM 2023 Conference
language:
Short-container-title:

Author:

Tang Alan¹^ORCID,Beckett Ryan²^ORCID,Benaloh Steven³^ORCID,Jayaraman Karthick⁴^ORCID,Patil Tejas³^ORCID,Millstein Todd⁵^ORCID,Varghese George¹^ORCID

Affiliation:

1. UCLA, Los Angeles, California, USA

2. Microsoft, Redmond, Washington, United States of America

3. Microsoft, Redmond, Washington, USA

4. Microsoft, Redmond, Washington, United States

5. UCLA, Los Angeles, California, United States

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3603269.3604842

Reference27 articles.

1. Anubhavnidhi Abhashkumar , Aaron Gember-Jacobson , and Aditya Akella . 2020 . Tiramisu: Fast Multilayer Network Verification. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20) . USENIX Association, Santa Clara, CA, 201--219. https://www.usenix.org/conference/nsdi20/presentation/abhashkumar Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. 2020. Tiramisu: Fast Multilayer Network Verification. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). USENIX Association, Santa Clara, CA, 201--219. https://www.usenix.org/conference/nsdi20/presentation/abhashkumar

2. Modular Control Plane Verification via Temporal Invariants

3. NetKAT

4. A General Approach to Network Configuration Verification

5. Control plane compression

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Interpretable Network Synthesis via Localized Specifications;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04

2. KATch: A Fast Symbolic Verifier for NetKAT;Proceedings of the ACM on Programming Languages;2024-06-20

3. Kirigami, the Verifiable Art of Network Cutting;IEEE/ACM Transactions on Networking;2024-06

4. Network Can Help Check Itself: Accelerating SMT-based Network Configuration Verification Using Network Domain Knowledge;IEEE INFOCOM 2024 - IEEE Conference on Computer Communications;2024-05-20

5. Modular Data Plane Verification for Compositional Networks;Proceedings of the ACM on Networking;2023-11-27