{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:10:05Z","timestamp":1767183005888,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,8,4]],"date-time":"2024-08-04T00:00:00Z","timestamp":1722729600000},"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,4]]},"DOI":"10.1145\/3672199.3673890","type":"proceedings-article","created":{"date-parts":[[2024,7,23]],"date-time":"2024-07-23T06:50:26Z","timestamp":1721717426000},"page":"27-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Heracles: A Novel State-based Distributed Verification Framework for DNS Configurations"],"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, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1875-5159","authenticated-orcid":false,"given":"Haizhou","family":"Du","sequence":"additional","affiliation":[{"name":"Shanghai University of Electric Power, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-6383-209X","authenticated-orcid":false,"given":"Yao","family":"Wang","sequence":"additional","affiliation":[{"name":"Xiamen University, Xiamen, China"}]}],"member":"320","published-online":{"date-parts":[[2024,8,4]]},"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","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_4_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_5_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_6_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_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/9781119387596"},{"key":"e_1_3_2_1_8_1","volume-title":"Ullman","author":"Hopcroft John E.","year":"2006","unstructured":"John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. 2006. Introduction to Automata Theory, Languages, and Computation (3rd Edition). Addison-Wesley Longman Publishing Co., Inc., USA."},{"key":"e_1_3_2_1_9_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."},{"volume-title":"Accessed","year":"2019","key":"e_1_3_2_1_10_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_11_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_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405871"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 20th ACM Workshop on Hot Topics in Networks. 116--122","author":"Reddy Kakarla Siva Kesava","year":"2021","unstructured":"Siva Kesava Reddy 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--122."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604870"},{"volume-title":"Accessed","year":"2018","key":"e_1_3_2_1_15_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_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/52324.52338"},{"key":"e_1_3_2_1_17_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_18_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_19_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_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1030194.1015503"},{"key":"e_1_3_2_1_21_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_22_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_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604843"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73614-1_8"},{"key":"e_1_3_2_1_25_1","volume-title":"APKeep: Realtime Verification for Real Networks. In 17th USENIX Symposium on Networked Systems Design and Implementation. 241--255","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--255."}],"event":{"name":"ACM SIGCOMM '24: ACM SIGCOMM 2024 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Sydney NSW Australia","acronym":"ACM SIGCOMM '24"},"container-title":["Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3672199.3673890","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3672199.3673890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T13:21:52Z","timestamp":1756214512000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3672199.3673890"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,4]]},"references-count":25,"alternative-id":["10.1145\/3672199.3673890","10.1145\/3672199"],"URL":"https:\/\/doi.org\/10.1145\/3672199.3673890","relation":{},"subject":[],"published":{"date-parts":[[2024,8,4]]},"assertion":[{"value":"2024-08-04","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}