Assistant Professor
Computer Science Department [DCC]
Universidade Federal de Minas Gerais [UFMG]


Av. Antônio Carlos, 6627
Prédio do ICEx - Anexo do DCC, Room 4317
CEP: 31270-010
Belo Horizonte, Minas Gerais - Brazil

Phone: +55 (31) 3409-5860
Fax: +55 (31) 3409-5858
Email: msalvim  @dcc.ufmg.br

Research interests

My main focus is the foundations of computer security. I am particularly interested in formal methods, quantitative information flow, information theory, and statistical disclosure control.[Short CV]