Mário Sérgio Alvim


 Professor  Adjunto


Doutorado, École Polytechnique, França, 2011

  msalvim@dcc.ufmg.br   www
 ICEx/DCC, sala 4317, +55 (31) 3409-5845
Áreas de pesquisa

Informações resumidas do Currículo Lattes


Currículo Lattes atualizado em 20/05/2018

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

On the information leakage of differentially-private mechanisms
2015. Journal of Computer Security.
Quantitative information flow in interactive systems
2012. Journal of Computer Security.

Trabalhos completos em congressos

Leakage and Protocol Composition in a Game-Theoretic Perspective
2018. 7th International Conference on Principles of Security and Trust (POST 2018).
Local Differential Privacy on Metric Spaces: optimizing the trade-off with utility
2018. 31st IEEE Computer Security Foundations Symposium.
An Algebraic Approach for Reasoning About Information Flow
2018. 22nd International Symposium on Formal Methods.
Quantifying vulnerability of secret generation using hyper-distributions
2017. 6th Conference on Principles of Security and Trust (POST 2017).
Information Leakage Games
2017. 8th Conference on Decision and Game Theory for Security (GameSec 2017).
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols
2017. XX Simpósio Brasileiro de Métodos Formais.
Axioms for Information Leakage
2016. 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Compression-Based Selective Sampling for Learning to Rank
2016. the 25th ACM International.
Additive and multiplicative notions of leakage, and their capacities
2014. 27th IEEE Computer Security Foundations Symposium.
When not all bits are equal: Worth-based information flow
2014. 3rd Conference on Principles of Security and Trust (POST 2014).
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 Talk)
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

Thiago Vieira de Alcântara Silva. Justiça em Aprendizado de Máquina. Início: 2018. Universidade Federal de Minas Gerais (Orientador principal)
Waner de Oliveira Miranda. (A definir). Início: 2016. Universidade Federal de Minas Gerais (Co orientador)
Arthur Américo Passos de Rezende. Delimitação do espaço de g-vulnerabilities para cálculo de vazamento de informação máximo. Início: 2016. Universidade Federal de Minas Gerais (Orientador principal)

Doutorado

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