More Reliable

Building robust distributed systems and time synchronization protocols that ensure the Internet remains stable and available at scale.

Filter by:

publication

2024

Topaz: Declarative and Verifiable Authoritative DNS at CDN-Scale

James Larisch, Tim Alberdingkthijm, Suleman Ahmad, Peter Wu, Tom Arnfeld, Marwan Fayed

Distributed SystemsSecurityMeasurementFormal Verification

publication

2021

The Ties that un-Bind: Decoupling IP from web services and sockets for robust addressing agility at CDN-scale

Marwan Fayed, Lorenz Bauer, Vasilis Giotsas, Sami Kerola, Marek Majkowski, Pavel Odinstov, Jakub Sitnicki, Taejoong Chung, Dave Levin, Alan Mislove, Christopher Wood, Nick Sullivan

SecurityMeasurement

publication

2019

RPKI is coming of age: A longitudinal study of RPKI deployment and invalid route origins

Taejoong Chung, Emile Aben, Tim Bruijnzeels, Balakrishnan Chandrasekaran, David Choffnes, Dave Levin, Bruce M. Maggs, Alan Mislove, Roland van Rijswijk-Deij, John Rula, Nick Sullivan

MeasurementSecurity

publication

2019

RFC 8586: Loop Detection in Content Delivery Networks (CDNs)

Stephen Ludin, Mark Nottingham, Nick Sullivan

MeasurementProtocols