A Formal Framework for End-to-End DNS Resolution.

Si Liu, Huayi Duan, Lukas Heimes, Marco Bearzi, Jodok Vieli, David A. Basin, Adrian Perrig

Browse the full SIGCOMM paper archive.