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 (SBMF, 2017)

Realizando o Potencial da Plaforma RIPE Atlas. - Lucas Barsand; Artur Vaz; João Paulo Bastos; Osvaldo L. H. M. Fonseca; Ítalo Cunha (SBRC Companion, 2019)