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]
@inproceedings{0003DHBVBP23,
title = {A Formal Framework for End-to-End DNS Resolution},
author = {Si Liu 0003 and Huayi Duan and Lukas Heimes and Marco Bearzi and Jodok Vieli and David A. Basin and Adrian Perrig},
year = {2023},
doi = {10.1145/3603269.3604870},
url = {https://doi.org/10.1145/3603269.3604870},
researchr = {https://researchr.org/publication/0003DHBVBP23},
cites = {0},
citedby = {0},
pages = {932-949},
booktitle = {Proceedings of the ACM SIGCOMM 2023 Conference, ACM SIGCOMM 2023, New York, NY, USA, 10-14 September 2023},
editor = {Henning Schulzrinne and Vishal Misra and Eddie Kohler and David A. Maltz},
publisher = {ACM},
}