{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T11:44:52Z","timestamp":1770291892173,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,8,3]],"date-time":"2024-08-03T00:00:00Z","timestamp":1722643200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,8,3]]},"DOI":"10.1145\/3663408.3663412","type":"proceedings-article","created":{"date-parts":[[2024,7,2]],"date-time":"2024-07-02T12:23:29Z","timestamp":1719923009000},"page":"23-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Rethinking DNS Configuration Verification with a Distributed Architecture"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-6383-209X","authenticated-orcid":false,"given":"Yao","family":"Wang","sequence":"first","affiliation":[{"name":"Xiamen University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-6782-8465","authenticated-orcid":false,"given":"Kexin","family":"Yu","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-3237-1354","authenticated-orcid":false,"given":"Ziyi","family":"Wang","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-6354-8067","authenticated-orcid":false,"given":"Kaiqiang","family":"Hu","sequence":"additional","affiliation":[{"name":"Shanghai University of Electric Power, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1875-5159","authenticated-orcid":false,"given":"Haizhou","family":"Du","sequence":"additional","affiliation":[{"name":"Shanghai University of Electric Power, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3394-6279","authenticated-orcid":false,"given":"Qiao","family":"Xiang","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3034-3209","authenticated-orcid":false,"given":"Xing","family":"Fang","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5467-548X","authenticated-orcid":false,"given":"Geng","family":"Li","sequence":"additional","affiliation":[{"name":"Huawei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2136-5389","authenticated-orcid":false,"given":"Ruiting","family":"Zhou","sequence":"additional","affiliation":[{"name":"Southeast University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9266-3044","authenticated-orcid":false,"given":"Linghe","family":"Kong","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7362-2789","authenticated-orcid":false,"given":"Jiwu","family":"Shu","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,8,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/390016.808445"},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/dnscensus2013.neocities.org\/Accessed","author":"DNS","year":"2024","unstructured":"DNS Census2013. 2013.. https:\/\/dnscensus2013.neocities.org\/Accessed: March 16, 2024."},{"key":"e_1_3_2_1_3_1","volume-title":"Accessed","year":"2023","unstructured":"Cloudfare. 2023. 1.1.1.1 lookup failures on October 4, 2023. https:\/\/blog.cloudflare.com\/1-1-1-1-lookup-failures-on-october-4th-2023. Accessed: March 16, 2024."},{"key":"e_1_3_2_1_4_1","volume-title":"Accessed","author":"Internet\u00a0Systems Consortium","year":"2009","unstructured":"Internet\u00a0Systems Consortium. 2009. Linux man page: named-checkzone. https:\/\/linux.die.net\/man\/8\/named-checkconf. Accessed: March 16, 2024."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Dr.\u00a0Matt Crawford. 1999. Non-Terminal DNS Name Redirection. RFC 2672. https:\/\/www.rfc-editor.org\/rfc\/rfc2672.html","DOI":"10.17487\/rfc2672"},{"key":"e_1_3_2_1_6_1","volume-title":"Accessed","author":"Incident\u00a0Report","year":"2018","unstructured":"Incident\u00a0Report for npm. 2018. DNS misconfiguration cached in ISP DNS caches. https:\/\/status.npmjs.org\/incidents\/v22ffls5cd6h. Accessed: March 16, 2024."},{"key":"e_1_3_2_1_7_1","volume-title":"Accessed","author":"Fryman James","year":"2014","unstructured":"James Fryman. 2014. DNS Outage Post Mortem. https:\/\/github.blog\/2014-01-18-dns-outage-post-mortem. Accessed: March 16, 2024."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3610845"},{"key":"e_1_3_2_1_9_1","volume-title":"Hoffman and Patrick McManus","author":"E.","year":"2018","unstructured":"Paul\u00a0E. Hoffman and Patrick McManus. 2018. DNS Queries over HTTPS (DoH). RFC 8484. https:\/\/www.rfc-editor.org\/rfc\/rfc8484.html"},{"key":"e_1_3_2_1_10_1","volume-title":"Accessed","author":"Host Check","year":"2020","unstructured":"Check Host. 2020. Check Host. http:\/\/check-host.net\/check-dns. Accessed: March 16, 2024."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Zi Hu Liang Zhu John Heidemann Allison Mankin Duane Wessels and Paul\u00a0E. Hoffman. 2016. Specification for DNS over Transport Layer Security (TLS). RFC 7858. https:\/\/www.rfc-editor.org\/rfc\/rfc7858.html","DOI":"10.17487\/RFC7858"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Christian Huitema Sara Dickinson and Allison Mankin. 2022. DNS over Dedicated QUIC Connections. RFC 9250. https:\/\/www.rfc-editor.org\/rfc\/rfc9250.html","DOI":"10.17487\/RFC9250"},{"key":"e_1_3_2_1_13_1","volume-title":"Accessed","year":"2019","unstructured":"InfinityFree. 2019. DNS Outage at iFastNet: Softaculous down. https:\/\/forum.infinityfree.com\/t\/dns-outage-at-ifastnet-softaculous-down\/19374. Accessed: March 16, 2024."},{"key":"e_1_3_2_1_14_1","volume-title":"Accessed","author":"Internet Systems Consortium","year":"2022","unstructured":"Internet Systems Consortium, Inc.2022. BIND - DNS Software. https:\/\/www.isc.org\/bind\/. Accessed: March 16, 2024."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Siva Kesava\u00a0Reddy Kakarla Ryan Beckett Behnaz Arzani Todd Millstein and George Varghese. 2020. GRooT: Proactive verification of dns configurations. In SIGCOMM\u201920. ACM 310\u2013328.","DOI":"10.1145\/3387514.3405871"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 20th ACM Workshop on Hot Topics in Networks. 116\u2013122","author":"Kesava\u00a0Reddy Kakarla Siva","year":"2021","unstructured":"Siva Kesava\u00a0Reddy Kakarla, Ryan Beckett, Todd Millstein, and George Varghese. 2021. How Complex is DNS?. In Proceedings of the 20th ACM Workshop on Hot Topics in Networks. 116\u2013122."},{"key":"e_1_3_2_1_17_1","volume-title":"10th USENIX Symposium on Networked Systems Design and Implementation. 99\u2013111","author":"Kazemian Peyman","year":"2013","unstructured":"Peyman Kazemian, Michael Chang, Hongyi Zeng, George Varghese, Nick McKeown, and Scott Whyte. 2013. Real time network policy checking using header space analysis. In 10th USENIX Symposium on Networked Systems Design and Implementation. 99\u2013111."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604870"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"P. Mockapetris. 1987. Domain names - concepts and facilities. RFC 1034. https:\/\/www.rfc-editor.org\/rfc\/rfc1034.html","DOI":"10.17487\/rfc1034"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"P. Mockapetris. 1987. Domain names - implementation and specification. RFC 1035. https:\/\/www.rfc-editor.org\/rfc\/rfc1035.html","DOI":"10.17487\/rfc1035"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/52324.52338"},{"key":"e_1_3_2_1_22_1","volume-title":"Accessed","author":"News SecurityWeek","year":"2010","unstructured":"SecurityWeek News. 2010. Reports of Massive DNS Outages in Germany. https:\/\/www.securityweek.com\/content\/reports-massivedns-outages-germany. Accessed: March 16, 2024."},{"key":"e_1_3_2_1_23_1","unstructured":"Wayne Schlitt and Meng\u00a0Weng Wong. 2006. Sender Policy Framework (SPF) for Authorizing Use of Domains in E-Mail Version 1. RFC 4408. https:\/\/www.rfc-editor.org\/rfc\/rfc4408.html"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934881"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3630202.3630228"},{"key":"e_1_3_2_1_26_1","volume-title":"Accessed","author":"Tung Liam","year":"2019","unstructured":"Liam Tung. 2019. Azure global outage: Our DNS update mangled domain records, says Microsoft. https:\/\/www.zdnet.com\/article\/azure-global-outage-our-dns-update-mangled-domain-records-says-microsoft\/. Accessed: March 16, 2024."},{"key":"e_1_3_2_1_27_1","volume-title":"Accessed","author":"Whittaker Zack","year":"2021","unstructured":"Zack Whittaker. 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\/. Accessed: March 16, 2024."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604843"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791577"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2398197"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73614-1_8"},{"key":"e_1_3_2_1_32_1","volume-title":"APKeep: Realtime Verification for Real Networks. In 17th USENIX Symposium on Networked Systems Design and Implementation. 241\u2013255","author":"Zhang Peng","year":"2020","unstructured":"Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, and Hao Li. 2020. APKeep: Realtime Verification for Real Networks. In 17th USENIX Symposium on Networked Systems Design and Implementation. 241\u2013255."},{"key":"e_1_3_2_1_33_1","volume-title":"EPVerifier: Accelerating Update Storms Verification with Edge-Predicate. In 21st USENIX Symposium on Networked Systems Design and Implementation. 979\u2013992","author":"Zhao Chenyang","year":"2024","unstructured":"Chenyang Zhao, Yuebin Guo, Jingyu Wang, Qi Qi, Zirui Zhuang, Haifeng Sun, Lingqi Guo, Yuming Xie, and Jianxin Liao. 2024. EPVerifier: Accelerating Update Storms Verification with Edge-Predicate. In 21st USENIX Symposium on Networked Systems Design and Implementation. 979\u2013992."}],"event":{"name":"APNet 2024: The 8th Asia-Pacific Workshop on Networking","location":"Sydney Australia","acronym":"APNet 2024"},"container-title":["Proceedings of the 8th Asia-Pacific Workshop on Networking"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663408.3663412","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3663408.3663412","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:31:45Z","timestamp":1755905505000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663408.3663412"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,3]]},"references-count":33,"alternative-id":["10.1145\/3663408.3663412","10.1145\/3663408"],"URL":"https:\/\/doi.org\/10.1145\/3663408.3663412","relation":{},"subject":[],"published":{"date-parts":[[2024,8,3]]},"assertion":[{"value":"2024-08-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}