Si Liu 0003, Huayi Duan, Lukas Heimes, Marco Bearzi, Jodok Vieli, David A. Basin, Adrian Perrig. A Formal Framework for End-to-End DNS Resolution. In Henning Schulzrinne, Vishal Misra, Eddie Kohler, David A. Maltz, editors, Proceedings of the ACM SIGCOMM 2023 Conference, ACM SIGCOMM 2023, New York, NY, USA, 10-14 September 2023. pages 932-949, ACM, 2023. [doi]
Abstract is missing.