publication
2024
Topaz: Declarative and Verifiable Authoritative DNS at CDN-Scale
distributed-systemssecuritymeasurementformal-verification
James is a research engineer focused on Internet infrastructure (e.g., the Web PKI and DNS), systems, and formal methods. He holds a PhD in Computer Science from Harvard University.
Research Areas
Internet Infrastructure, Systems, Formal Methods