Artur Vaz

According to our database, Artur Vaz authored at least 2 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Realizando o Potencial da Plaforma RIPE Atlas.

Lucas Barsand, Artur Vaz, João Paulo Bastos, Osvaldo L. H. M. Fonseca, Ítalo Cunha

Proceedings of the Companion Proceedings of the 37th Brazilian Symposium on Computer Networks and Distributed Systems, 2019

2017

Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols.

Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio Vale Aguiar Campos, Annabelle McIver

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017