Automated Verification of an In-Production DNS Authoritative Engine-Reference-Cited by-同舟云学术

Automated Verification of an In-Production DNS Authoritative Engine

Published:2023-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th Symposium on Operating Systems Principles
language:
Short-container-title:

Author:

Zheng Naiqian¹^ORCID,Liu Mengqi²^ORCID,Xiang Yuxing¹^ORCID,Song Linjian²^ORCID,Li Dong²^ORCID,Han Feng²^ORCID,Wang Nan²^ORCID,Ma Yong²^ORCID,Liang Zhuo²^ORCID,Cai Dennis³^ORCID,Zhai Ennan²^ORCID,Liu Xuanzhe¹^ORCID,Jin Xin¹^ORCID

Affiliation:

1. Peking University, Beijing, China

2. Alibaba Cloud, Hangzhou, China

3. Alibaba Cloud, San Jose, United States of America

Funder

National Key Research and Development Program of China

National Natural Science Foundation of China under the grant number

Publisher

ACM

Reference58 articles.

1. 2017. How and why the leap second affected Cloudflare DNS. https://blog.cloudflare.com/how-and-why-the-leap-second-affected-cloudflare-dns/. 2017. How and why the leap second affected Cloudflare DNS. https://blog.cloudflare.com/how-and-why-the-leap-second-affected-cloudflare-dns/.

2. 2018. Analyzing the Impact of a Public DNS Resolver Outage. https://www.catchpoint.com/blog/google-dns-outage. 2018. Analyzing the Impact of a Public DNS Resolver Outage. https://www.catchpoint.com/blog/google-dns-outage.

3. 2021. A DNS outage just took down a large chunk of the internet. https://techcrunch.com/2021/07/22/a-dns-outage-just-took-down-a-good-chunk-of-the-internet/. 2021. A DNS outage just took down a large chunk of the internet. https://techcrunch.com/2021/07/22/a-dns-outage-just-took-down-a-good-chunk-of-the-internet/.

4. 2021. Observations on resolver behavior during DNS outages. https://blog.verisign.com/security/facebook-dns-outage/. 2021. Observations on resolver behavior during DNS outages. https://blog.verisign.com/security/facebook-dns-outage/.

5. 2021. Understanding how Facebook disappeared from the Internet. https://blog.cloudflare.com/october-2021-facebook-outage/. 2021. Understanding how Facebook disappeared from the Internet. https://blog.cloudflare.com/october-2021-facebook-outage/.