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 06/10/2017

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

Information-Driven Rapidly-Exploring Random Tree for Efficient Environment Exploration
2017. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS.
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

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).
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols
2017. XX Simpósio Brasileiro de Métodos Formais.
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.
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

New Directions: Proof-Carrying Sensing - Towards Real-World Authentication in Cyber-Physical Systems
2017. 15th ACM Conference on Embedded Networked Sensor Systems (SenSys 2017).
Modeling Information Flow in Dynamic Information Retrieval
2017. 3rd ACM International Conference on the Theory of Information Retrieval (ICTIR 2017).
Probabilistic Information Flow
2010. 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010).
Interactive Information Flow - (Invited Talk)
2010. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010.

Resumos em congressos

Quantificando Vazamento de Informação sobre Estratégias
2016. 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.

Veja todas as publicações no Currículo Lattes

Orientações em andamento

Mestrado

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

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