Sistemas DistribuídosSegurançaMediçãoVerificação Formal
Mais confiável
Construindo sistemas distribuídos robustos e protocolos de sincronização de tempo que garantem que a Internet permaneça estável e disponível em escala.
Filtrar por:
publicação
2021
Os laços que desligam: Decoupling IP de serviços web e soquetes para agilidade de endereçamento robusta em escala de CDN
SegurançaMedição
publicação
2019
RPKI está amadurecendo: um estudo longitudinal da implantação da RPKI e origens de rotas inválidas
MediçãoSegurança
MediçãoProtocolos