publication
2024
Topaz: Declarative and Verifiable Authoritative DNS at CDN-Scale
distributed-systemssecuritymeasurementformal-verification
External collaborator on Cloudflare Research publications.
Tim Alberdingkthijm
External Collaborator
Biography