{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T00:43:29Z","timestamp":1760057009636,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,8]]},"DOI":"10.1145\/3750022.3750460","type":"proceedings-article","created":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T13:46:39Z","timestamp":1755611199000},"page":"25-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["DNScope: Detecting DNS Misconfigurations through Graph Neural Static Reasoning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-6354-8067","authenticated-orcid":false,"given":"Kaiqiang","family":"Hu","sequence":"first","affiliation":[{"name":"Shanghai University of Electric Power"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1875-5159","authenticated-orcid":false,"given":"Haizhou","family":"Du","sequence":"additional","affiliation":[{"name":"Shanghai University of Electric Power"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-3237-1354","authenticated-orcid":false,"given":"Ziyi","family":"Wang","sequence":"additional","affiliation":[{"name":"Xiamen University"}]}],"member":"320","published-online":{"date-parts":[[2025,9,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Negative Caching of DNS Queries (DNS NCACHE). RFC 2308. (mar","author":"Andrews Mark P.","year":"1998","unstructured":"Mark P. Andrews. 1998. Negative Caching of DNS Queries (DNS NCACHE). RFC 2308. (mar 1998). https:\/\/www.rfc-editor.org\/info\/rfc2308"},{"key":"e_1_3_2_1_2_1","volume-title":"Common DNS Operational and Configuration Errors. RFC 1912","author":"Barr David","year":"1996","unstructured":"David Barr. 1996. Common DNS Operational and Configuration Errors. RFC 1912. (feb 1996). https:\/\/www.rfc-editor.org\/info\/rfc1912"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3459637.3481955"},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/dnscensus2013.neocities.org\/ Accessed","author":"DNS","year":"2013","unstructured":"DNS Census2013. 2013. DNS Census2013. (2013). https:\/\/dnscensus2013.neocities.org\/ Accessed: March 16, 2024."},{"key":"e_1_3_2_1_5_1","volume-title":"Accessed","author":"Cloudfare","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. (2023). Accessed: March 16, 2024."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i5.16523"},{"key":"e_1_3_2_1_7_1","volume-title":"BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. In North American","author":"Devlin Jacob","year":"2019","unstructured":"Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2019. BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. In North American Chapter of the Association for Computational Linguistics. https:\/\/api.semanticscholar.org\/CorpusID:52967399"},{"key":"e_1_3_2_1_8_1","volume-title":"Accessed","author":"Incident","year":"2024","unstructured":"Incident Report for npm. 2018. DNS misconfiguration cached in ISP DNS caches. https:\/\/status.npmjs.org\/incidents\/v22ffls5cd6h. (2018). Accessed: March 16, 2024."},{"key":"e_1_3_2_1_9_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. (2014). Accessed: March 16, 2024."},{"key":"e_1_3_2_1_10_1","unstructured":"Tianyu Gao Xingcheng Yao and Danqi Chen. 2021. SimCSE: Simple Contrastive Learning of Sentence Embeddings. In Empirical Methods in Natural Language Processing (EMNLP)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417066"},{"key":"e_1_3_2_1_12_1","volume-title":"Accessed","author":"Host Check","year":"2020","unstructured":"Check Host. 2020. Check Host. http:\/\/check-host.net\/check-dns. (2020). Accessed: March 16, 2024."},{"key":"e_1_3_2_1_13_1","volume-title":"Heracles: A Novel State-Based Distributed Verification Framework for DNS Configurations. In FMANO.","author":"Hu Kaiqiang","year":"2024","unstructured":"Kaiqiang Hu, Haizhou Du, and Yao Wang. 2024. Heracles: A Novel State-Based Distributed Verification Framework for DNS Configurations. In FMANO."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00138"},{"volume-title":"Accessed","year":"2019","key":"e_1_3_2_1_15_1","unstructured":"InfinityFree. 2019. DNS Outage at iFastNet: Softaculous down. https:\/\/forum.infinityfree.com\/t\/dns-outage-at-ifastnet-softaculous-down\/19374. (2019). Accessed: March 16, 2024."},{"key":"e_1_3_2_1_16_1","volume-title":"Accessed","author":"Internet Systems Consortium","year":"2024","unstructured":"Internet Systems Consortium, Inc. 2024. BIND - DNS Software. https:\/\/www.isc.org\/bind\/. (2024). Accessed: March 16, 2024."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405871"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICKG59574.2023.00007"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604870"},{"volume-title":"Accessed","year":"2018","key":"e_1_3_2_1_20_1","unstructured":"Microsoft. 2018. Description of the DNSLint utility. https:\/\/support.microsoft.com\/en-us\/help\/321045\/description-of-the-dnslint-utility. (2018). Accessed: May 16, 2024."},{"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","doi-asserted-by":"crossref","unstructured":"P. V. Mockapetris. 1987. RFC1034: Domain names - concepts and facilities. (1987).","DOI":"10.17487\/rfc1034"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"P. V. Mockapetris. 1987. RFC1035: Domain names - implementation and specification. (1987).","DOI":"10.17487\/rfc1035"},{"key":"e_1_3_2_1_24_1","volume-title":"Accessed","author":"Kephart Nick","year":"2024","unstructured":"Nick Kephart. 2024. Best Practices for Monitoring DNSl. https:\/\/www.thousandeyes.com\/resources\/dns-webinar. (2024). Accessed: May 16, 2024."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1030194.1015503"},{"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\/. (2019). Accessed: March 16, 2024."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-021-05924-9"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Yao Wang Kexin Yu Ziyi Wang Kaiqiang Hu Haizhou Du Qiao Xiang Xing Fang Geng Li Ruiting Zhou Linghe Kong and Jiwu Shu. 2024. Rethinking DNS Configuration Verification with a Distributed Architecture. In APNet.","DOI":"10.1145\/3663408.3663412"},{"key":"e_1_3_2_1_29_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\/. (2021). Accessed: March 16, 2024."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS57517.2022.00039"},{"key":"e_1_3_2_1_31_1","volume-title":"2020 USENIX Annual Technical Conference (USENIX ATC 20)","author":"Yang Donghui","year":"2020","unstructured":"Donghui Yang, Zhenyu Li, and Gareth Tyson. 2020. A Deep Dive into DNS Query Failures. In 2020 USENIX Annual Technical Conference (USENIX ATC 20). USENIX Association, 507--514. https:\/\/www.usenix.org\/conference\/atc20\/presentation\/yang"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73614-1_8"}],"event":{"name":"SIGCOMM '25: ACM SIGCOMM 2025 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Coimbra Portugal","acronym":"SIGCOMM '25"},"container-title":["Proceedings of the 2nd Workshop on Formal Methods Aided Network Operation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3750022.3750460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T14:11:56Z","timestamp":1760019116000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3750022.3750460"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,8]]},"references-count":32,"alternative-id":["10.1145\/3750022.3750460","10.1145\/3750022"],"URL":"https:\/\/doi.org\/10.1145\/3750022.3750460","relation":{},"subject":[],"published":{"date-parts":[[2025,9,8]]},"assertion":[{"value":"2025-09-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}