Cover Image

Janus: Leveraging Incremental Computation for Efficient DNS Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wang, Yao, Yu, Kexin, Xu, Wenyun, Hu, Kaiqiang, Wang, Ziyi, You, Lizhao, Su, Qiang, Guo, Dong, Du, Haizhou, Feng, Wanjian, Song, Qingyu, Kong, Linghe, Xiang, Qiao, Shu, Jiwu
Format:	Preprint
Published:	2025
Subjects:	Networking and Internet Architecture
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Leveraging Large Language Models for Automated Reproduction of Networking Research Results
by: Jiang, Yining, et al.
Published: (2025)

Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation
by: Yang, Rulan, et al.
Published: (2024)

Argo: An efficient verification framework for distributed in-network computing
by: Song, Mingyuan, et al.
Published: (2025)

Innovation Discovery System for Networking Research
by: Zhang, Mengrui, et al.
Published: (2026)

Iterative Receiver Processing at Relays in PNC-Enabled Multi-Hop Underwater Acoustic Networks
by: Zhang, Gewei, et al.
Published: (2026)

Agentic Peer-to-Peer Networks: From Content Distribution to Capability and Action Sharing
by: Wang, Taotao, et al.
Published: (2026)

Measuring the Consolidation of DNS and Web Hosting Providers
by: Wang, Synthia, et al.
Published: (2021)

Discovering Agents for Discovery: The Case for DNS
by: Seethiraju, Ramachandra Rao, et al.
Published: (2026)

From Simulation to Reality: Practical Deep Reinforcement Learning-based Link Adaptation for Cellular Networks
by: You, Lizhao, et al.
Published: (2026)

Expressive Boundedness of Authoritative DNS Response Selection
by: Bertinato, Chris
Published: (2026)

DNS-based dynamic context resolution for SCHC
by: Bernard, Antoine, et al.
Published: (2025)

DarkDNS: Revisiting the Value of Rapid Zone Update
by: Sommese, Raffaele, et al.
Published: (2024)

Decoupling DNS Update Timing from TTL Values
by: Afek, Yehuda, et al.
Published: (2024)

Survey and Analysis of DNS Filtering Components
by: Magnusson, Jonathan
Published: (2024)

Is Protective DNS Blocking the Wild West?
by: Plonka, David, et al.
Published: (2025)

ISAAC: Intelligent, Scalable, Agile, and Accelerated CPU Verification via LLM-aided FPGA Parallelism
by: Sun, Jialin, et al.
Published: (2025)

Assessing Resilience in Authoritative DNS Infrastructure Supporting Government Services
by: Septiadi, Agung, et al.
Published: (2025)

Collusion Resistant DNS With Private Information Retrieval
by: Xiao, Yunming, et al.
Published: (2025)

Traffic Centralization and Digital Sovereignty: An Analysis Under the Lens of DNS Servers
by: Boeira, Demétrio F., et al.
Published: (2023)

Exploring the Ecosystem of DNS HTTPS Resource Records: An End-to-End Perspective
by: Dong, Hongying, et al.
Published: (2024)

Mind the IP Gap: Measuring the impact of IPv6 on DNS censorship
by: Martiny, Ian, et al.
Published: (2025)

Holmes: An Evidence-Grounded LLM Agent for Auditable DDoS Investigation in Cloud Networks
by: Chen, Haodong, et al.
Published: (2026)

Connectivity Analysis of LoRaWAN-Based Non-Terrestrial Networks for Subterranean mMTC
by: Lin, Kaiqiang, et al.
Published: (2025)

Implementing and Evaluating Post-Quantum DNSSEC in CoreDNS
by: Suela, Julio Gento, et al.
Published: (2025)

A Survey and Evaluation Framework for Secure DNS Resolution
by: Jahromi, Ali Sadeghi, et al.
Published: (2025)

ECSeptional DNS Data: Evaluating Nameserver ECS Deployments with Response-Aware Scanning
by: Sattler, Patrick, et al.
Published: (2024)

FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification
by: Wan, Gwok-Waa, et al.
Published: (2025)

From req/res to pub/sub: Exploring Media over QUIC Transport for DNS
by: Engelbart, Mathis, et al.
Published: (2025)

A Datagram Extension to DNS over QUIC: Proven Resource Conservation in the Internet of Things
by: Saif, Darius, et al.
Published: (2025)

Public DNS Resolvers Meet Content Delivery Networks: A Performance Assessment of the Interplay
by: Kernan, Nicholas, et al.
Published: (2025)

RIS-aided Wireless-Powered Backscatter Communications for Sustainable Internet of Underground Things
by: Lin, Kaiqiang, et al.
Published: (2024)

POPS: From History to Mitigation of DNS Cache Poisoning Attacks
by: Afek, Yehuda, et al.
Published: (2025)

B2LoRa: Boosting LoRa Transmission for Satellite-IoT Systems with Blind Coherent Combining
by: Zhao, Yimin, et al.
Published: (2025)

Analysis of Robust and Secure DNS Protocols for IoT Devices
by: Aydeger, Abdullah, et al.
Published: (2025)

Domainator: Detecting and Identifying DNS-Tunneling Malware Using Metadata Sequences
by: Petrov, Denis, et al.
Published: (2025)

Analyzing Enterprise DNS Traffic to Classify Assets and Track Cyber-Health
by: Lyu, Minzhao, et al.
Published: (2022)

Transparent Attested DNS for Confidential Computing Services
by: Delignat-Lavaud, Antoine, et al.
Published: (2025)

DNS Tunneling: Threat Landscape and Improved Detection Solutions
by: Amirov, Novruz, et al.
Published: (2025)

XenoFlow: How Fast Can a SmartNIC-Based DNS Load Balancer Run?
by: Schrötter, Max, et al.
Published: (2025)

Toward Sustainable Subterranean mMTC: Space-Air-Ground-Underground Networks Powered by LoRaWAN and Wireless Energy Transfer
by: Lin, Kaiqiang, et al.
Published: (2025)