Seguir
Artur Duarte Penna Vaz
Artur Duarte Penna Vaz
Compsci Student at UFMG
E-mail confirmado em dcc.ufmg.br
Título
Citado por
Citado por
Ano
Formal analysis of the Information leakage of the DC-Nets and Crowds anonymity protocols
A Américo, A Vaz, MS Alvim, SVA Campos, A McIver
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017
42017
Realizando o Potencial da Plaforma RIPE Atlas
L Barsand, A Vaz, JP Bastos, O Fonseca, Í Cunha
Anais Estendidos do XXXVII Simpósio Brasileiro de Redes de Computadores e …, 2019
2019
Análise do comportamento da vulnerabilidade dos operadores de composiçao
ADP Vaz
Análise de diferentes abordagens na modelagem de Canais
ADP Vaz
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–4