Mário S. Alvim

Mário S. Alvim

Assistant Professor, Department of Computer Science, UFMG
Verified email at dcc.ufmg.br
Cited by 1404
Foundations of Security and Privacy Quantitative Information Flow Formal Methods Responsible Computing