Mário Sérgio Alvim
Áreas de Pesquisa: Formação Acadêmica:
Doutorado, École Polytechnique, França, 201
Ramal: 5845
msalvim@dcc.ufmg.br
Página pessoal
Lattes
Google scholar
Informações resumidas do Currículo Lattes
Currículo Lattes atualizado em 18/09/2022ORCID: https://orcid.org/0000-0002-4196-7467Nome em citações bibliográficas: Mário S. Alvim;ALVIM, MÁRIO S.;ALVIM, M. S.;Mario S. Alvim;ALVIM, MARIO S.;M'rio S. Alvim;Alvim, M'rio S.;ALVIM, MARIO;ALVIM, MÁRIO;ALVIM, MRIO S.
Projetos de pesquisa em andamento
| 2017 a Atual | Uma ferramenta para cálculo de métricas de fluxo de informação quantitativo Este projeto tem como tema a aplicação de métodos formais para a definição de propriedades de segurança de sistemas computacionais, assim como a quantificação dessas propriedades. Nossa proposta é formalizar o uso de duas novas dimensões nas métricas de QIF: custo e benefício. O adversário é guiado por suas restrições de custo, como de qual poder computacional ele dispõe, quais políticas o guiam, ou quais leis e punições ele está disposto a seguir ou infringir. Já o protetor tenta guardar o segredo de acordo com seu benefício: a forma como o segredo se divide em estruturas, qual o valor relativo de cada estrutura, e como cada estrutura pode revelar informação a respeito de outra. Integrantes: Mário Sérgio Ferreira Alvim Júnior (coordenador). |
| 2015 a Atual | Medindo a segurança de sistemas interativos dinâmicos: Avançando técnicas de fluxo de informação quantitativo O objetivo principal do projeto é avançar as técnicas disponiveis para a análise formal da segurança de sistemas computacionais interativos que computem utilizando segredos dinâmicos, aperfeiçoando metodologias de fluxo de informação quantitativo existentes e aplicando-as a sistemas reais. Integrantes: Mário Sérgio Ferreira Alvim Júnior (coordenador). |
| 2014 a Atual | Context-QIF: Um arcabouço formal para fluxo de informação quantitativo baseado em contexto Projeto de cunho científico cujo objetivo principal é desenvolver um framework formal para fluxo de informação quantitativo que modele o contexto de execução de sistemas computacionais e capture: (i) a rigorosidade das garantias baseadas em teoria da informação, (ii) o benefício que guia o designer do sistema a esconder parte da informação, e (iii) o custo que guia o adversário a atacar o sistema. Integrantes: Mário Sérgio Ferreira Alvim Júnior (coordenador). |
Projetos de desenvolvimento em andamento
Últimas publicações
Artigos em periódicos
How to build high quality L2R training data: Unsupervised compression-based selective sampling for learning to rank2022. 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.
Exploiting semantic relationships for unsupervised expansion of sentiment lexicons
2020. INFORMATION SYSTEMS.
Catuscia Palamidessi
2020. ACM SIGLOG News.
Information-Driven Rapidly-Exploring Random Tree for Efficient Environment Exploration
2018. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS.
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition
2018. Entropy.
An Axiomatization of Information Flow Measures
2018. THEORETICAL COMPUTER SCIENCE.
Trabalhos completos em congressos
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks2021. 41st IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021).
Brazildam: A Benchmark Dataset For Tailings Dam Detection
2020. 2020 IEEE Latin American GRSS & ISPRS Remote Sensing Conference (LAGIRS).
On Privacy and Accuracy in Data Releases (Invited Paper)
2020. 31st International Conference on Concurrency Theory (CONCUR 2020).
On the Predictability of a User's Next Check-in Using Data from Different Social Networks
2019. the 2nd ACM SIGSPATIAL Workshop.
Toward a Formal Model for Group Polarization in Social Networks
2019. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy.
Deciphering Predictability Limits in Human Mobility
2019. the 27th ACM SIGSPATIAL International Conference.
A Probabilistic Algorithm to Predict Missing Facts from Knowledge Graphs
2019. 30th International Conference on Database and Expert Systems Applications (DEXA 2019).
A Comparative Study on Unsupervised Domain Adaptation for Coffee Crop Mapping
2018. CIARP 2018: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications.
An Algebraic Approach for Reasoning About Information Flow
2018. 22nd International Symposium on Formal Methods.
Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility
2018. 2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Leakage and Protocol Composition in a Game-Theoretic Perspective
2018. 7th International Conference on Principles of Security and Trust (POST 2018).
Compression-Based Selective Sampling for Learning to Rank2016. the 25th ACM International.
Additive and multiplicative notions of leakage, and their capacities2014. 27th IEEE Computer Security Foundations Symposium.
Quantifying Information Flow for Dynamic Secrets2014. 35th IEEE Symposium on Security and Privacy.
When not all bits are equal: Worth-based information flow2014. 3rd Conference on Principles of Security and Trust (POST 2014).
Resumos expandidos em congressos
Modeling Information Flow in Dynamic Information Retrieval2017. the ACM SIGIR International Conference.
Proof-Carrying Sensing
2017. the 15th ACM Conference.
Interactive Information Flow (Invited Paper)
2010. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010.
Probabilistic Information Flow
2010. 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010).
Resumos em congressos
Quantificando Vazamento de Informação sobre Estratégias2016. 1o Encontro de Teoria da Computação.
Measuring Information Leakage using Generalized Gain Functions (Abstract)
2012. Quantitative Security Analysis (Dagstuhl Seminar 12481).
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).
Entropy and Attack Models in Information Flow
2010. Theoretical Computer Science.
Veja todas as publicações no Currículo Lattes
Orientações em andamento
Mestrado
Paula Mara Ribeiro. Mitigation of privacy risks in the Brazilian Educational Censuses via differential privacy. Início: 2022. Universidade Federal de Minas Gerais (Orientador principal)Bruno Demattos Nogueira. On the connection between quantitative information flow and fairness in machine learning. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Ramon Gonçalves Gonze. On the application of local differential-privacy to the sanitization of Brazilian educational data. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Waner de Oliveira Miranda. Recuperação de informação visual usando programação genética. Início: 2016. Universidade Federal de Minas Gerais (Co orientador)
Doutorado
Luigi Domenico Cecchini Soares. Formal Methods for Privacy and Utility in Large Datasets. Início: 2022. 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)
Gabriel Henrique Lopes Gomes Alves Nunes. Formal Methods for Privacy and Fairness. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Edemir Ferreira de Andrade Júnior. Mapeamento geográfico utilizando imagens aéreas de múltiplas bases de conhecimento. Início: 2018. Universidade Federal de Minas Gerais (Co orientador)
Rodrigo Silva. Active Learning for Learning to Rank. Início: 2013. Universidade Federal de Minas Gerais (Co orientador)
Veja todas as orientações no Currículo Lattes