Topaz: Declarative and Verifiable Authoritative DNS at CDN-Scale. - James Larisch; Timothy Alberdingk Thijm; Suleman Ahmad; Peter Wu; Tom Arnfeld; Marwan Fayed (SIGCOMM, 2024)