publication2024Topaz: Declarative and Verifiable Authoritative DNS at CDN-ScaleJames Larisch, Tim Alberdingkthijm, Suleman Ahmad, Peter Wu, Tom Arnfeld, Marwan FayedDistributed SystemsSecurityMeasurementFormal Verification