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…