@inproceedings{Conference ACM SIGCOM 2023,
  author       = {Si Liu and
                  Huayi Duan and
                  Lukas Heimes and
                  Marco Bearzi and
                  Jodok Vieli and
                  David A. Basin and
                  Adrian Perrig},
  editor       = {Henning Schulzrinne and
                  Vishal Misra and
                  Eddie Kohler and
                  David A. Maltz},
  title        = {A Formal Framework for End-to-End {DNS} Resolution},
  booktitle    = {Proceedings of the {ACM} {SIGCOMM} 2023 Conference, {ACM} {SIGCOMM}
                  2023, New York, NY, USA, 10-14 September 2023},
  pages        = {932--949},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3603269.3604870},
  doi          = {10.1145/3603269.3604870},
  timestamp    = {Sun, 24 Sep 2023 15:46:15 +0200},
}