{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:27:42Z","timestamp":1770287262627,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,4]],"date-time":"2021-11-04T00:00:00Z","timestamp":1635984000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,11,10]]},"DOI":"10.1145\/3484266.3487369","type":"proceedings-article","created":{"date-parts":[[2021,11,4]],"date-time":"2021-11-04T22:31:15Z","timestamp":1636065075000},"page":"116-122","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["How Complex is DNS?"],"prefix":"10.1145","author":[{"given":"Siva Kesava Reddy","family":"Kakarla","sequence":"first","affiliation":[{"name":"UCLA"}]},{"given":"Ryan","family":"Beckett","sequence":"additional","affiliation":[{"name":"Microsoft"}]},{"given":"Todd","family":"Millstein","sequence":"additional","affiliation":[{"name":"UCLA & Intentionet"}]},{"given":"George","family":"Varghese","sequence":"additional","affiliation":[{"name":"UCLA"}]}],"member":"320","published-online":{"date-parts":[[2021,11,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"CONCUR '97: Concurrency Theory, Antoni Mazurkiewicz and J\u00f3zef Winkowski (Eds.)","author":"Bouajjani Ahmed","unstructured":"Ahmed Bouajjani , Javier Esparza , and Oded Maler . 1997. Reachability analysis of pushdown automata: Application to model-checking . In CONCUR '97: Concurrency Theory, Antoni Mazurkiewicz and J\u00f3zef Winkowski (Eds.) . Springer Berlin Heidelberg , Berlin, Heidelberg , 135--150. Ahmed Bouajjani, Javier Esparza, and Oded Maler. 1997. Reachability analysis of pushdown automata: Application to model-checking. In CONCUR '97: Concurrency Theory, Antoni Mazurkiewicz and J\u00f3zef Winkowski (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 135--150."},{"key":"e_1_3_2_1_2_1","volume-title":"DNS Support for Load Balancing. RFC 1794. (1","author":"Brisco Thomas P.","year":"1995","unstructured":"Thomas P. Brisco . 1995. DNS Support for Load Balancing. RFC 1794. (1 April 1995 ). https:\/\/doi.org\/10.17487\/RFC1794 10.17487\/RFC1794 Thomas P. Brisco. 1995. DNS Support for Load Balancing. RFC 1794. (1 April 1995). https:\/\/doi.org\/10.17487\/RFC1794"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/642068.642070"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the ACM on Programming Languages 2, POPL","author":"Chatterjee Krishnendu","year":"2017","unstructured":"Krishnendu Chatterjee , Bhavya Choudhary , and Andreas Pavlogiannis . 2017 . Optimal Dyck reachability for data-dependence and alias analysis . Proceedings of the ACM on Programming Languages 2, POPL (2017), 1--30. Krishnendu Chatterjee, Bhavya Choudhary, and Andreas Pavlogiannis. 2017. Optimal Dyck reachability for data-dependence and alias analysis. Proceedings of the ACM on Programming Languages 2, POPL (2017), 1--30."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2017.02.003"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328460"},{"key":"e_1_3_2_1_7_1","volume-title":"DNS-Based Service Discovery. RFC 6763. (Feb","author":"Cheshire Stuart","year":"2013","unstructured":"Stuart Cheshire and Marc Krochmal . 2013. DNS-Based Service Discovery. RFC 6763. (Feb . 2013 ). https:\/\/doi.org\/10.17487\/RFC6763 10.17487\/RFC6763 Stuart Cheshire and Marc Krochmal. 2013. DNS-Based Service Discovery. RFC 6763. (Feb. 2013). https:\/\/doi.org\/10.17487\/RFC6763"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2013.6733584"},{"key":"e_1_3_2_1_9_1","volume-title":"https:\/\/www.isc.org\/bind\/","author":"Internet Systems Consortium","year":"2021","unstructured":"Internet Systems Consortium . 2021. BIND 9. ( 2021 ). https:\/\/www.isc.org\/bind\/ Internet Systems Consortium. 2021. BIND 9. (2021). https:\/\/www.isc.org\/bind\/"},{"key":"e_1_3_2_1_10_1","volume-title":"Retrieved","author":"Response Policy DNS","year":"2019","unstructured":"DNS Response Policy Zones 2019. ( 2019 ). Retrieved June 2020 from https:\/\/dnsrpz.info\/ DNS Response Policy Zones 2019. (2019). Retrieved June 2020 from https:\/\/dnsrpz.info\/"},{"key":"e_1_3_2_1_11_1","volume-title":"https:\/\/www.dnsbl.info\/","author":"DNSBL","year":"2020","unstructured":"DNSBL information - spam database and blacklist check. 2020. ( 2020 ). https:\/\/www.dnsbl.info\/ DNSBL information - spam database and blacklist check. 2020. (2020). https:\/\/www.dnsbl.info\/"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_20"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/90.993304"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614960"},{"key":"e_1_3_2_1_15_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. 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_16_1","unstructured":"Internet Initiative Japan Inc. 2019. IP Location Load Balancing Resource Record. Internet-Draft draft-sonoda-dnsop-lb-01. Internet Engineering Task Force. https:\/\/datatracker.ietf.org\/doc\/html\/draft-sonoda-dnsop-lb-01 Work in Progress.  Internet Initiative Japan Inc. 2019. IP Location Load Balancing Resource Record. Internet-Draft draft-sonoda-dnsop-lb-01. Internet Engineering Task Force. https:\/\/datatracker.ietf.org\/doc\/html\/draft-sonoda-dnsop-lb-01 Work in Progress."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication (SIGCOMM '20)","author":"Reddy Kakarla Siva Kesava","year":"2020","unstructured":"Siva Kesava Reddy Kakarla , Ryan Beckett , Behnaz Arzani , Todd Millstein , and George Varghese . 2020 . GRoot: Proactive Verification of DNS Configurations . In Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication (SIGCOMM '20) . Association for Computing Machinery, New York, NY, USA, 310--328. https:\/\/doi.org\/10.1145\/3387514.3405871 10.1145\/3387514.3405871 Siva Kesava Reddy Kakarla, Ryan Beckett, Behnaz Arzani, Todd Millstein, and George Varghese. 2020. GRoot: Proactive Verification of DNS Configurations. In Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication (SIGCOMM '20). Association for Computing Machinery, New York, NY, USA, 310--328. https:\/\/doi.org\/10.1145\/3387514.3405871"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC7208"},{"key":"e_1_3_2_1_19_1","volume-title":"DomainKeys Identified Mail (DKIM) Signatures. RFC 6376. (Sept","author":"Kucherawy Murray","year":"2011","unstructured":"Murray Kucherawy , Dave Crocker , and Tony Hansen . 2011. DomainKeys Identified Mail (DKIM) Signatures. RFC 6376. (Sept . 2011 ). https:\/\/doi.org\/10.17487\/RFC6376 10.17487\/RFC6376 Murray Kucherawy, Dave Crocker, and Tony Hansen. 2011. DomainKeys Identified Mail (DKIM) Signatures. RFC 6376. (Sept. 2011). https:\/\/doi.org\/10.17487\/RFC6376"},{"key":"e_1_3_2_1_20_1","volume-title":"https:\/\/nlnetlabs.nl\/projects\/nsd\/about\/","author":"Labs Lnet","year":"2021","unstructured":"N Lnet Labs . 2021. NSD. ( 2021 ). https:\/\/nlnetlabs.nl\/projects\/nsd\/about\/ NLnet Labs. 2021. NSD. (2021). https:\/\/nlnetlabs.nl\/projects\/nsd\/about\/"},{"key":"e_1_3_2_1_21_1","volume-title":"Dynamic Delegation Discovery System (DDDS) Part Three: The Domain Name System (DNS) Database. RFC 3403. (Oct","author":"Mealling Michael H.","year":"2002","unstructured":"Michael H. Mealling . 2002. Dynamic Delegation Discovery System (DDDS) Part Three: The Domain Name System (DNS) Database. RFC 3403. (Oct . 2002 ). https:\/\/doi.org\/10.17487\/RFC3403 10.17487\/RFC3403 Michael H. Mealling. 2002. Dynamic Delegation Discovery System (DDDS) Part Three: The Domain Name System (DNS) Database. RFC 3403. (Oct. 2002). https:\/\/doi.org\/10.17487\/RFC3403"},{"key":"e_1_3_2_1_22_1","volume-title":"Domain names - concepts and facilities. RFC 1034. (Nov","author":"Mockapetris P.","year":"1987","unstructured":"P. Mockapetris . 1987. Domain names - concepts and facilities. RFC 1034. (Nov . 1987 ). https:\/\/doi.org\/10.17487\/RFC1034 10.17487\/RFC1034 P. Mockapetris. 1987. Domain names - concepts and facilities. RFC 1034. (Nov. 1987). https:\/\/doi.org\/10.17487\/RFC1034"},{"key":"e_1_3_2_1_23_1","volume-title":"Domain names - implementation and specification. RFC 1035. (Nov","author":"Mockapetris P.","year":"1987","unstructured":"P. Mockapetris . 1987. Domain names - implementation and specification. RFC 1035. (Nov . 1987 ). https:\/\/doi.org\/10.17487\/RFC1035 10.17487\/RFC1035 P. Mockapetris. 1987. Domain names - implementation and specification. RFC 1035. (Nov. 1987). https:\/\/doi.org\/10.17487\/RFC1035"},{"key":"e_1_3_2_1_24_1","volume-title":"A Border Gateway Protocol 4 (BGP-4). RFC 4271. (Jan","author":"Rekhter Yakov","year":"2006","unstructured":"Yakov Rekhter , Susan Hares , and Tony Li. 2006. A Border Gateway Protocol 4 (BGP-4). RFC 4271. (Jan . 2006 ). https:\/\/doi.org\/10.17487\/RFC4271 10.17487\/RFC4271 Yakov Rekhter, Susan Hares, and Tony Li. 2006. A Border Gateway Protocol 4 (BGP-4). RFC 4271. (Jan. 2006). https:\/\/doi.org\/10.17487\/RFC4271"},{"key":"e_1_3_2_1_25_1","volume-title":"Program Analysis Using Weighted Pushdown Systems. In FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, V. Arvind and Sanjiva Prasad (Eds.). Springer Berlin Heidelberg","author":"Reps Thomas","year":"2007","unstructured":"Thomas Reps , Akash Lal , and Nick Kidd . 2007 . Program Analysis Using Weighted Pushdown Systems. In FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, V. Arvind and Sanjiva Prasad (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 23--51. Thomas Reps, Akash Lal, and Nick Kidd. 2007. Program Analysis Using Weighted Pushdown Systems. In FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, V. Arvind and Sanjiva Prasad (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 23--51."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.009"},{"key":"e_1_3_2_1_27_1","volume-title":"DNAME Redirection in the DNS. RFC 6672. (June","author":"Rose Scott","year":"2012","unstructured":"Scott Rose and Wouter Wijngaards . 2012. DNAME Redirection in the DNS. RFC 6672. (June 2012 ). https:\/\/doi.org\/10.17487\/RFC6672 10.17487\/RFC6672 Scott Rose and Wouter Wijngaards. 2012. DNAME Redirection in the DNS. RFC 6672. (June 2012). https:\/\/doi.org\/10.17487\/RFC6672"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/363347.363387"},{"key":"e_1_3_2_1_30_1","volume-title":"Vixie and Vernon Schryver","author":"Paul","year":"2018","unstructured":"Paul A. Vixie and Vernon Schryver . 2018 . DNS Response Policy Zones (RPZ). Internet-Draft draft-vixie-dnsop-dns-rpz-00. Internet Engineering Task Force. https:\/\/datatracker.ietf.org\/doc\/html\/draft-vixie-dnsop-dns-rpz-00 Work in Progress . Paul A. Vixie and Vernon Schryver. 2018. DNS Response Policy Zones (RPZ). Internet-Draft draft-vixie-dnsop-dns-rpz-00. Internet Engineering Task Force. https:\/\/datatracker.ietf.org\/doc\/html\/draft-vixie-dnsop-dns-rpz-00 Work in Progress."}],"event":{"name":"HotNets '21: The 20th ACM Workshop on Hot Topics in Networks","location":"Virtual Event United Kingdom","acronym":"HotNets '21","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the Twentieth ACM Workshop on Hot Topics in Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3484266.3487369","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3484266.3487369","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:13Z","timestamp":1750191433000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3484266.3487369"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,4]]},"references-count":29,"alternative-id":["10.1145\/3484266.3487369","10.1145\/3484266"],"URL":"https:\/\/doi.org\/10.1145\/3484266.3487369","relation":{},"subject":[],"published":{"date-parts":[[2021,11,4]]},"assertion":[{"value":"2021-11-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}