TY - RPRT TI - Janus: Leveraging Incremental Computation for Efficient DNS Verification AU - Yao Wang AU - Kexin Yu AU - Wenyun Xu AU - Kaiqiang Hu AU - Ziyi Wang AU - Lizhao You AU - Qiang Su AU - Dong Guo AU - Haizhou Du AU - Wanjian Feng AU - Qingyu Song AU - Linghe Kong AU - Qiao Xiang AU - Jiwu Shu PY - 2025 UR - https://arxiv.org/abs/2511.02559 ID - 2511.02559 ER -