publicação2024Topaz: DNS autoritativo declarativo e verificável em escala de CDNJames Larisch, Tim Alberdingkthijm, Suleman Ahmad, Peter Wu, Tom Arnfeld, Marwan FayedSistemas DistribuídosSegurançaMediçãoVerificação Formal