publication
2024
Topaz: Declarative and Verifiable Authoritative DNS at CDN-Scale
distributed-systemssecuritymeasurementformal-verification
More Reliable
Building robust distributed systems and time synchronization protocols that ensure the Internet remains stable and available at scale.
Filter by: IPFS Distributed Systems Formal Verification Infrastructure Key Management Measurement Networking Protocols Security Tunnel Web3
web3infrastructure
web3IPFS
blog
2021
Tunnel: Cloudflare’s Newest Homeowner
infrastructuretunnel
infrastructurekey-management
networkinginfrastructure
web3infrastructure
publication
2021
The Ties that un-Bind: Decoupling IP from web services and sockets for robust addressing agility at CDN-scale
securitymeasurement
publication
2019
RPKI is coming of age: A longitudinal study of RPKI deployment and invalid route origins
measurementsecurity
publication
2019
RFC 8586: Loop Detection in Content Delivery Networks (CDNs)
measurementprotocols