by Si Liu*, Huayi Duan*, Lukas Heimes, Marco Bearzi, Jodok Vieli, David Basin, and Adrian Perrig. (*co-first authors)
Reference:
A Formal Framework for End-to-End DNS Resolution. Si Liu*, Huayi Duan*, Lukas Heimes, Marco Bearzi, Jodok Vieli, David Basin, and Adrian Perrig. (*co-first authors). In Proceedings of ACM SIGCOMM 2023.
Bibtex Entry:
@InProceedings{dns-formalization-2023,
author = {Si Liu* and Huayi Duan* and Lukas Heimes and Marco Bearzi and Jodok Vieli and David Basin and Adrian Perrig. (*co-first authors)},
title = {A Formal Framework for End-to-End {DNS} Resolution},
booktitle = {Proceedings of {ACM SIGCOMM}},
month = sep,
year = 2023,
url = {/publications/papers/2023-DNS-SIGCOMM.pdf},
slides = {/publications/slides/2023-SIGCOMM-DNS-Formal-Slides.pdf}
}