Mário Sérgio Alvim


Áreas de Pesquisa:
Sala: 4317
Ramal: 5845
msalvim@dcc.ufmg.br

Página pessoal     Lattes    Google scholar 


Informações resumidas do Currículo Lattes

Currículo Lattes atualizado em 25/08/2021

Nome 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


Formação acadêmica

Doutorado em Ciência da Computação na Ecole Polytechnique em 2011
Mestrado em Ciências da Computação na Universidade Federal de Minas Gerais em 2008
Graduado em Ciência da Computação na Universidade Federal de Minas Gerais em 2005

Projetos de pesquisa em andamento

2017 a AtualUma 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 AtualMedindo 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 AtualContext-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

Veja todos os projetos no Currículo Lattes

Últimas publicações

Artigos em periódicos

Catuscia Palamidessi
2020. ACM SIGLOG News.
Exploiting semantic relationships for unsupervised expansion of sentiment lexicons
2020. INFORMATION SYSTEMS.
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition
2018. Entropy.
An Axiomatization of Information Flow Measures
2018. THEORETICAL COMPUTER SCIENCE.
Information-Driven Rapidly-Exploring Random Tree for Efficient Environment Exploration
2018. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS.
On the information leakage of differentially-private mechanisms
2015. Journal of Computer Security.

Trabalhos completos em congressos

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).
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols
2017. XX Simpósio Brasileiro de Métodos Formais.
Information Leakage Games
2017. 8th Conference on Decision and Game Theory for Security (GameSec 2017).
Quantifying vulnerability of secret generation using hyper-distributions
2017. 6th Conference on Principles of Security and Trust (POST 2017).
Compression-Based Selective Sampling for Learning to Rank
2016. the 25th ACM International.
Axioms for Information Leakage
2016. 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Additive and multiplicative notions of leakage, and their capacities
2014. 27th IEEE Computer Security Foundations Symposium.
Quantifying Information Flow for Dynamic Secrets
2014. 35th IEEE Symposium on Security and Privacy.
Measuring Information Leakage Using Generalized Gain Functions
2012. 2012 IEEE 25th Computer Security Foundations Symposium (CSF).

Resumos expandidos em congressos

Modeling Information Flow in Dynamic Information Retrieval
2017. 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égias
2016. 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

Tiago Melo Tannus. Characterizing Strategy Leakage for Dynamic Secrets. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Danilo Fabrino Favato. Violating Brazilian Business Tax Secrecy Through Database Reconstruction Attacks Over Foreign Trade Statistics. Início: 2021. Universidade Federal de Minas Gerais (Co orientador)
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

Gleison Souza Diniz Mendonça. Quantitative information flow approaches to statistical disclosure control. 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