A Formal Framework for End-to-End DNS Resolution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Si Liu 0003' in GoogleThis author has not been identified. Look up 'Huayi Duan' in GoogleThis author has not been identified. Look up 'Lukas Heimes' in GoogleThis author has not been identified. Look up 'Marco Bearzi' in GoogleThis author has not been identified. Look up 'Jodok Vieli' in GoogleThis author has not been identified. Look up 'David A. Basin' in GoogleThis author has not been identified. Look up 'Adrian Perrig' in Google

runs on WebDSL