Mário Sérgio Alvim
Research areas: Degrees:
Doutorado, École Polytechnique, França, 201
Phone: 5845
msalvim@dcc.ufmg.br
Home page
Lattes
Google scholar Information extracted from Lattes platform
Last update: 2026/08/31ORCID: https://orcid.org/0000-0002-4196-7467
Current projects
| 2025 a Atual | A QIF-Based Analysis of Privacy and Utility of Googles Privacy Sandbox Projeto de pesquisa entre UFMG e Macquarie University, financiado pelo Google Academic Research Awards 2024. Integrantes: Mário Sérgio Ferreira Alvim Júnior (coordenador), Natasha Fernandes, NUNES, GABRIEL H., Luigi Domenico Cecchini Soares. |
| 2025 a Atual | Consumer Data Privacy Risk Analysis and Management in the Open Banking Era Projeto de cooperação entre a UFMG e a Macquarie University, financiado pelo Australian Research Concil. Integrantes: Mário Sérgio Ferreira Alvim Júnior (coordenador), Natasha Fernandes, Yin Liao, Tom Smith, Di Bu, Niloufer Selvadurai. |
| 2023 a Atual | Privacidade nos Censos Educacionais II - PRICE II O presente projeto é uma cooperação do Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira (Inep)) com a Universidade Federal de Minas Gerais (UFMG) e suas unidades com capacidades e competências necessárias à disseminação dos princípios orientadores do projeto para a execução das ações propostas, em especial o Departamento de Ciência da Computação (DCC).O objetivo geral do projeto é contribuir de forma significativa para a melhoria da política de disseminação de microdados do Inep, especificamente no que se refere aos microdados dos Censos Educacionais, adequando-a à legislação vigente, em especial a Lei Geral de Proteção de Dados Pessoais LGPD (Lei 13.709/2018). Integrantes: Mário Sérgio Ferreira Alvim Júnior (coordenador), Gabriel Henrique Lopes Gomes Alves Nunes, Ramon Gonçalves Gonze, Luigi Domenico Cecchini Soares, Gleison Souza Diniz Mendonça, Igor Wallace dos Santos Lemes, Artur Gaspar da Silva, Lucas Caetano Lopes Rodrigues. |
Current applied research projects
Recent publications
Articles in journals
A Formal Model for Polarization under Confirmation Bias in Social Networks2023. Logical Methods in Computer Science.
How to build high quality L2R training data: Unsupervised compression-based selective sampling for learning to rank
2022. INFORMATION SCIENCES.
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata
2022. Proceedings on Privacy Enhancing Technologies.
A novel reconstruction attack on foreign-trade official statistics, with a Brazilian case study
2022. Proceedings on Privacy Enhancing Technologies.
Information Leakage Games: Exploring Information as a Utility Function
2022. ACM Transactions on Privacy and Security.
The Impact of Stationarity, Regularity, and Context on the Predictability of Individual Human Mobility
2021. ACM TRANSACTIONS ON SPATIAL ALGORITHMS AND SYSTEMS.
An Axiomatization of Information Flow Measures2018. THEORETICAL COMPUTER SCIENCE.
Papers in conferences
A new measure for dynamic leakage based on quantitative information flow2026. 39th IEEE Computer Security Foundations Symposium (CSF 2026).
A Multi-Agent Model for Opinion Evolution under Cognitive Biases
2024. 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024).
The Privacy-Utility Trade-off in the Topics API
2024. CCS '24: ACM SIGSAC Conference on Computer and Communications Security.
Formal Privacy Analyses for Open Banking
2024. 27th Brazilian Symposium on Formal Methods (SBMF 2024).
Analyzing the Shuffle Model through the Lens of Quantitative Information Flow
2023. 36th IEEE Computer Security Foundations Symposium (CSF 2023).
A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker Products and Quantitative Information Flow2023. CCS '23: ACM SIGSAC Conference on Computer and Communications Security.
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks
2021. 41st IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021).
Quantifying Information Flow for Dynamic Secrets2014. 35th IEEE Symposium on Security and Privacy.
Additive and multiplicative notions of leakage, and their capacities2014. 27th IEEE Computer Security Foundations Symposium.
Extended abstracts in conferences
On the Duality of Privacy and Fairness (Extended Abstract)2023. 9th International Conference on AI and the Digital Economy (CADE 2023).
A Quantitative Information Flow Analysis of the Topics API
2023. CCS '23: ACM SIGSAC Conference on Computer and Communications Security.
Modeling Information Flow in Dynamic Information Retrieval
2017. the ACM SIGIR International Conference.
Proof-Carrying Sensing
2017. the 15th ACM Conference.
Probabilistic Information Flow
2010. 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010).
Abstracts in conferences
Quantificando Vazamento de Informação sobre Estratégias2016. 1o Encontro de Teoria da Computação.
Not all bits are created equal: incorporating the meaning and value of secret bits into measures of information flow
2012. Quantitative Security Analysis (Dagstuhl Seminar 12481).
Measuring Information Leakage using Generalized Gain Functions (Abstract)
2012. Quantitative Security Analysis (Dagstuhl Seminar 12481).
Entropy and Attack Models in Information Flow
2010. Theoretical Computer Science.
See all publications in Lattes
Current students
MS
PhD
Ramon Gonçalves Gonze. A QIF model for the relationship between membership, re-identification, and attribute-inference attacks. Início: 2023. Universidade Federal de Minas Gerais (Orientador principal)Gleison Souza Diniz Mendonça. Quantitative information flow approaches to statistical disclosure control. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
See all students in Lattes