Artur Vaz

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 2

Top Topics

Information Leakage

Formal Analysis

Statistical Shape

Top Venues

Publications

Lucas Barsand, Artur Vaz, João Paulo Bastos, Osvaldo L. H. M. Fonseca, Ítalo Cunha
Realizando o Potencial da Plaforma RIPE Atlas. SBRC Companion (2019)
Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio Vale Aguiar Campos, Annabelle McIver
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. SBMF (2017)