A Formal Framework for End-to-End DNS Resolution-Reference-Cited by-同舟云学术

A Formal Framework for End-to-End DNS Resolution

Published:2023-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM SIGCOMM 2023 Conference
language:
Short-container-title:

Author:

Liu Si¹^ORCID,Duan Huayi¹^ORCID,Heimes Lukas¹^ORCID,Bearzi Marco¹^ORCID,Vieli Jodok¹^ORCID,Basin David¹^ORCID,Perrig Adrian¹^ORCID

Affiliation:

1. ETH Zurich, Zurich, Switzerland

Funder

SNSF for project RHINE

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3603269.3604870

Reference51 articles.

1. Yehuda Afek , Anat Bremler-Barr , and Lior Shafir . 2020. NXNSAttack: Recursive DNS Ineffciencies and Vulnerabilities . In USENIX Security 2020 . USENIX Association , 631--648. https://www.usenix.org/conference/usenixsecurity20/presentation/afek Yehuda Afek, Anat Bremler-Barr, and Lior Shafir. 2020. NXNSAttack: Recursive DNS Ineffciencies and Vulnerabilities. In USENIX Security 2020. USENIX Association, 631--648. https://www.usenix.org/conference/usenixsecurity20/presentation/afek

2. A Survey of Statistical Model Checking

3. PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

4. PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool

5. Negative Caching of DNS Queries (DNS NCACHE)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Heracles: A Novel State-based Distributed Verification Framework for DNS Configurations;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04

2. Topaz: Declarative and Verifiable Authoritative DNS at CDN-Scale;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04

3. Rethinking DNS Configuration Verification with a Distributed Architecture;Proceedings of the 8th Asia-Pacific Workshop on Networking;2024-08-03