publicación2024Topaz: DNS autoritativo declarativo y verificable a escala de CDNJames Larisch, Tim Alberdingkthijm, Suleman Ahmad, Peter Wu, Tom Arnfeld, Marwan FayedSistemas distribuidosSeguridadMediciónVerificación formal
