Mário S. Alvim
Mário S. Alvim
Home
Research & Publications
Publications
The Topete group
Students
Service
Teaching
DCC 129 - FTC (2025/1)
DCC 638 - ILC (2024/2)
DCC 831/030/049 - Info. Theory (2024/1)
DCC 831/030/049 - QIF (2022/2)
FAQ: Teaching & Grading
Awards and honors
About
FAQ: Teaching & Grading
FAQ: Research & Science
Cool science-related stuff
Short bio
Contact
Light
Dark
Automatic
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
January, 2017
Cite
DOI
URL
Type
Conference paper
Publication
Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Cite
×