Follow
Artur Duarte Penna Vaz
Artur Duarte Penna Vaz
Compsci Student at UFMG
Verified email at dcc.ufmg.br
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–4