James Larisch
Research Engineer
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
Publications
2024Topaz: Declarative and Verifiable Authoritative DNS at CDN-Scale
ACM SIGCOMM 2024 Conference, Sydney NSW Australia, August 4-8, 2024.
James Larisch,
Tim Alberdingk Thijm,
Suleman Ahmad,
Peter Wu,
Tom Arnfeld,
Marwan Fayed