2 papers
cs.NI2025
Janus: Leveraging Incremental Computation for Efficient DNS Verification
Yao Wang, Kexin Yu, Wenyun Xu +11
Existing DNS configuration verification tools face significant issues (e.g., inefficient and lacking support for incremental verification). Inspired by the advancements in recent w…
cs.NI2025
Fast Inverse Model Transformation: Algebraic Framework for Fast Data Plane Verification
Shenshen Chen, Jian Luo, Dong Guo +2
Data plane verification (DPV) analyzes routing tables and detects routing abnormalities and policy violations during network operation and planning. Thus, it has become an importan…