Author:
Feamster Nick,Rexford Jennifer
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Networks and Communications,Computer Science Applications,Software
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. NetDiceSyn: Multi-Property Probabilistic Verification of Network Configurations;2023 IEEE/ACM 31st International Symposium on Quality of Service (IWQoS);2023-06-19
2. Accelerating BGP Configuration Verification Through Reducing Cycles in SMT Constraints;IEEE/ACM Transactions on Networking;2022-12
3. Fauré;Proceedings of the Twentieth ACM Workshop on Hot Topics in Networks;2021-11-04
4. Automatically derived stateful network functions including non-field attributes;2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2021-10
5. Understanding the Growth and Security Considerations of ECS;Proceedings 2021 Network and Distributed System Security Symposium;2021