A Formal Framework for End-to-End DNS Resolution. - Si Liu 003; Huayi Duan; Lukas Heimes; Marco Bearzi; Jodok Vieli; David A. Basin; Adrian Perrig (SIGCOMM, 2023)

CAMP: Compositional Amplification Attacks against DNS. - Huayi Duan; Marco Bearzi; Jodok Vieli; David A. Basin; Adrian Perrig; Si Liu 003; Bernhard Tellenbach (USENIX Security Symposium, 2024)