Abstract is missing.
- A Forwarding-Path-Aware Sampling Strategy for Config2SpecShangsen Li, Lailong Luo, Changhao Qiu, Bangbang Ren, Deke Guo. 1-6 [doi]
- LTL-based Specifications for P4 Program SynthesisLorenzo Theunissen, Sebastijan Dumancic, Fernando Kuipers. 7-12 [doi]
- Protocol Vulnerability Detection Method Based on Fuzzing in Low Earth Orbit Satellite NetworkChuntao Lan, Lin Yao 0001, Guowei Wu 0001, Ziyuan Tian. 13-18 [doi]
- ConfSum: Towards Automatic Summarization of Network-scale Operational Intents from Device ConfigurationsRundi Zhai, Jianmin Liu, Yukai Miao, Li Chen 0008, Dan Li 0001, Baojiang Cui, Peng Zhang 0011, Ennan Zhai, Zishuo Ding. 19-24 [doi]
- DNScope: Detecting DNS Misconfigurations through Graph Neural Static ReasoningKaiqiang Hu, Haizhou Du, Ziyi Wang. 25-30 [doi]
- Modeling and Evaluation of Elastic SFC Based on HCPNRulin Zhang, Hui Dong, Ju Zhang, Hua Li. 31-36 [doi]
- SafeMigration: Safe Large-scale Migration Planning via Symbolic ExecutionZibin Chen, Lixin Gao 0001, Ying Zhang 0022. 37-42 [doi]
- Refining Specifications for Configuration Repair with Side Effect DiagnosisRyusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda. 43-48 [doi]
- Formal Specifications for Data Plane ProgramsKeyu Yuan, Baber Rehman. 49-51 [doi]
- Poster: High-Performance Centralized Parallel Data-Plane Verification for Hyper-Scale DCNsPeng Peng, Xun Sun, Zhengtao Shen, Feiyang Ding, Jiawei Chen, Lizhao You, Weirong Jiang, Yongping Tang, Feng Luo. 52-54 [doi]
- Incremental Network Configuration Verification via Localized SubspecificationHaoxian Chen 0001. 55-57 [doi]
- Scalable BGP Simulation of Hyper-Scale Data Center NetworksMengrui Zhang, Xiaoqiang Zheng, Lizhao You, Ziyang Yao, Yang Wang 0161, Rui Wen, Zhi Zhang 0016, Ronghua Sun, Yuanhui Zhong, Haihua Li, Fei Yuan 0014, Yuanxun Kang, Qiao Xiang. 58-60 [doi]