Mário Sérgio Ferreira Alvim Júnior

  • Endereço para acessar este CV: http://lattes.cnpq.br/1397639761790594
  • Última atualização do currículo em 09/11/2018


Possui graduação em Ciência da Computação pela Universidade Federal de Minas Gerais (2005), mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais (2008) e doutorado em Ciência da Computação pela École Polytechnique, França (2011). Foi pesquisador de pós-doutorado no Departamento de Matemática da University of Pennsylvania de janeiro de 2012 a setembro de 2013. Atualmente é professor adjunto do Departamento de Ciência da Computação da Universidade Federal de Minas Gerais. Tem como área centrais de interesse o Fluxo de Informação Quantitativo, o controle de Privacidade, a Teoria da Informação, a Teoria da Computação, e os Modelos Formais Probabilísticos. (Texto informado pelo autor)


Identificação


Nome
Mário Sérgio Ferreira Alvim Júnior
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

Endereço


Endereço Profissional
Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
Avenida Presidente Antônio Carlos, 6627, Prédio do ICEx, Departamento de Ciência da Computação, Sala 4317
Pampulha
31270010 - Belo Horizonte, MG - Brasil
Telefone: (31) 34095860
URL da Homepage: www.dcc.ufmg.br/~msalvim


Formação acadêmica/titulação


2008 - 2011
Doutorado em Ciência da Computação.
Ecole Polytechnique, POLYTECHNIQUE, França.
Título: Formal approaches to information hiding: an analysis of interactive systems, statistical disclosure control, and refinement of specification, Ano de obtenção: 2011.
Orientador: Catuscia Palamidessi.
Bolsista do(a): Centre National de la Recherche Scientifique/Diréction Gén. de l'Armement, CNRS / DGA, França.
Palavras-chave: Privacidade; Segurança; Fluxo de informação; Vazamento de informação; "Differential privacy"; "Min-entropy".
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Privacidade e Segurança.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
2006 - 2008
Mestrado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Aspectos Computacionais do Cálculo das Estruturas,Ano de Obtenção: 2008.
Orientador: Elaine Gouvêa Pimentel.
Coorientador: Roberto da Silva Bigonha.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Cálculo das Estruturas; Lógica Linear; "Deep-inference"; "Calculus of Structures"; Lógica Computacional.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
2001 - 2005
Graduação em Ciência da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Uma Ferramenta Para Previsão do Enovelamento de Proteínas / Uma Ferramenta Para Alinhamento Estrutural de Proteínas Através de Mapas de Contatos.
Orientador: Rodrigo de Lima Carceroni.
1998 - 2000
Curso técnico/profissionalizante.
Centro Federal de Educação Tecnológica de Minas Gerais, CEFET/MG, Brasil.


Pós-doutorado


2012 - 2013
Pós-Doutorado.
University of Pennsylvania, UPENN, Estados Unidos.
Bolsista do(a): University of Pennsylvania, UPENN, Estados Unidos.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Modelos Analíticos e de Simulação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Privacidade e Segurança.


Formação Complementar


2016 - 2016
Visita técnica. (Carga horária: 180h).
Centre de Recherche Inria Saclay - Île-de-France, INRIA-SACLAY, França.
2015 - 2015
Visita técnica. (Carga horária: 80h).
Centre de Recherche Inria Saclay - Île-de-France, INRIA-SACLAY, França.
2015 - 2015
Visita técnica. (Carga horária: 35h).
University of Maryland, College Park, UMD, Estados Unidos.
2015 - 2015
Visita técnica. (Carga horária: 40h).
University of Pennsylvania, UPENN, Estados Unidos.
2014 - 2014
Visita técnica. (Carga horária: 80h).
Centre de Recherche Inria Saclay - Île-de-France, INRIA-SACLAY, França.
2014 - 2014
Visita técnica. (Carga horária: 80h).
Macquarie University, MACQUARIE, Austrália.
2013 - 2013
Visita técnica. (Carga horária: 40h).
Cornell University, CORNELL, Estados Unidos.
2013 - 2013
Visita técnica. (Carga horária: 80h).
Centre de Recherche Inria Saclay - Île-de-France, INRIA-SACLAY, França.
2012 - 2012
Visita técnica. (Carga horária: 40h).
Cornell University, CORNELL, Estados Unidos.
2012 - 2012
Visita técnica. (Carga horária: 60h).
Centre de Recherche Inria Saclay - Île-de-France, INRIA-SACLAY, França.


Atuação Profissional



Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional

2013 - Atual
Vínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2007 - 2007
Vínculo: Professor substituto, Enquadramento Funcional: Professor substituto, Carga horária: 20
Outras informações
Professor das disciplinas de Análise Numérica (DCC033) e Cálculo Numérico (DCC034) do Departamento de Ciência da Computação da UFMG.

Vínculo institucional

2005 - 2006
Vínculo: Livre, Enquadramento Funcional: Pesquisador, Carga horária: 20
Outras informações
Projeto: ?Avaliação Experimental de Técnicas de Reconstrução Tridimensional? Bolsista Fapemig/Pesquisador Descrição: Nossa equipe desenvolveu um roteiro técnico para a realização semi-automatizada de calibragem geométrica e fotométrica para um sistema multicamera composto por 12 cameras.

Vínculo institucional

2005 - 2005
Vínculo: Livre, Enquadramento Funcional: Pesquisador
Outras informações
Projeto: ?Predição de Rotas de Enovelamento de Proteínas Usando uma Heurística de Desenovelamento ? Resumo: Toda proteína é composta de uma estrutura primária (uma sequência de aminoácidos) que se enovela para compor um estrutura funcional tridimensional. Na tentativa de determinar se é possível prever a estrutura 3D de uma proteína dada apenas sua estrutura primária, eu implementei um programa em C para predizer o processo de desenovelamento de proteínas. O programa foi então utilizado para prever o processo reverso, ou seja, o enovelamento.

Vínculo institucional

2004 - 2004
Vínculo: Livre, Enquadramento Funcional: Programa de Aprimoramento Discente, Carga horária: 20
Outras informações
Projeto: ?Sistemas de Inferência Baseados em Lógica Matemática? Bolsista PAD Descrição: Desenvolvi um programa em Prolog para ordenar os termos de formulas lógicas utilizando ordens de caminho e decomposição.

Vínculo institucional

2002 - 2003
Vínculo: Livre, Enquadramento Funcional: Iniciação Científica, Carga horária: 20
Outras informações
Projeto: ?Lógica Matemática e a Especificação de Sistemas Lógicos Computacionais? Bolsista PIBIC/CNPq Descrição: Eu implementei um provador de teoremas em Lambda-Prolog para as lógicas clásica, intuicionista e linear. Também desenhei um provador de teoremas paramétrico com respeito à lógica utilizada.

Vínculo institucional

2002 - 2002
Vínculo: Livre, Enquadramento Funcional: Monitor de Disciplina
Outras informações
Disciplina: Introdução aos Sistemas Lógicos (DCC 114) Departamento de Ciência da Computação

Atividades

08/2014 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
08/2014 - Atual
Ensino, Matemática Computacional, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
08/2014 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Fundamentos de Teoria da Computação
09/2013 - Atual
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.

02/2014 - 06/2014
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
02/2014 - 06/2014
Ensino, Matemática Computacional, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
02/2014 - 06/2014
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estruturas de Dados II
09/2013 - 12/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Fundamentos de Teoria da Computação
09/2013 - 12/2013
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
09/2013 - 12/2013
Ensino, Matemática Computacional, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
09/2013 - 12/2013
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Fundamentos de Teoria da Computação
09/2006 - 03/2008
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.

Linhas de pesquisa
Lógica Computacional
08/2007 - 12/2007
Ensino, Engenharia de Controle e Automação, Nível: Graduação

Disciplinas ministradas
Análise Numérica
08/2007 - 12/2007
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Cálculo Numérico
03/2007 - 07/2007
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Cálculo Numérico

Centre de Recherche Inria Saclay - Île-de-France, INRIA-SACLAY, França.
Vínculo institucional

2016 - 2016
Vínculo: Professor Visitante, Enquadramento Funcional: Professor visitante., Carga horária: 40
Outras informações
Professor visitante do Laboratoire d'Informatique de l'École Polytechnique.

Vínculo institucional

2011 - 2011
Vínculo: Bolsista, Enquadramento Funcional: Pesquisador temporário, Carga horária: 35, Regime: Dedicação exclusiva.
Outras informações
Pesquisador INRIA no campus da École Polytechnique, desenvolvendo trabalho de pesuisa na área de Segurança de Computadores e Ciência da Computação Teórica.

Atividades

10/2008 - 12/2011
Pesquisa e desenvolvimento , Centre de Recherche Inria Saclay - Île-de-France - França, .


University of Pennsylvania, UPENN, Estados Unidos.
Vínculo institucional

2012 - 2013
Vínculo: Pesquisador de pós-doutorado, Enquadramento Funcional: Pesquisador de pós-doutorado, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Pesquisador de pós-doutorado em ciência da computação, sob a supervião do Prof. Andre Scedrov. Filiado ao Departamento de Matemática da Universidade da Pennsylvania, realizando pesquisa na área de Segurança de Computadores, Privacidade, e Ciência da Computação Teórica.

Atividades

01/2012 - Atual
Pesquisa e desenvolvimento , David Rittenhouse Laboratory, .


Ecole Polytechnique, L'X, França.
Vínculo institucional

2016 - 2016
Vínculo: Professor Visitante, Enquadramento Funcional: Professor visitante., Carga horária: 40
Outras informações
Professor visitante do Laboratoir d'Informatique de l'École Polytechnique, França.


Centro Federal de Educação Tecnológica de Minas Gerais, CEFET/MG, Brasil.
Vínculo institucional

2000 - 2002
Vínculo: Outro, Enquadramento Funcional: Pesquisador Jr. e sócio de empresa, Carga horária: 20
Outras informações
Participei do desenvolvimento, em 2000, do software BHBUSca foi utilizado pela BHTrans (Empresa de Transporte e Trânsito de Belo Horizonte S/A) como sistema de informações aos usuários durante a implantação da Estação BHBUS Venda Nova, com um volume de 60.000 usuários/dia. Fui sócio (de 2001 a 2002) de uma empresa de tecnologia da informação na Incubadora Tecnológica de Automação Industrial e Instrumentação Médica de Belo Horizonte, ITAIM-bh, mantida pelo CEFET-MG em parceria com o SEBRAE. A empresa incubada era a Datasa Tecnologia da Informação, cujo principal produto era o BHBUSca. O processo de incubação incluiu cursos nas áreas de empreendedorismo, marketing pessoal, administração e contabilidade básicas e afins.

Atividades

2001 - 2002
Outras atividades técnico-científicas , Centro Federal de Educação Tecnológica de Minas Gerais, Centro Federal de Educação Tecnológica de Minas Gerais.

Atividade realizada
BHBUSca.

Atan Sistemas de Automação e Otimização, ATAN, Brasil.
Vínculo institucional

2000 - 2001
Vínculo: Outro, Enquadramento Funcional: Estagiário, Carga horária: 20
Outras informações
Estágio em Computação Móvel e Desenvolvimento de Sistemas. O principal projeto desenvolvido foi o sistema de vendas de campo SRP (Sales Route Planning) para a CCIL (Coca-Cola do Brasil).

Atividades

10/2000 - 9/2001
Estágios , Sistemas de Automação, .

Estágio realizado
Computação Móvel e Desenvolvimento de Sistemas.


Linhas de pesquisa


1.
Lógica Computacional
2.
Segurança e Privacidade
3.
Fluxo de Informação Quantitativo
4.
Métodos Formais
5.
Segurança e Privacidade
6.
Métodos Formais
7.
Segurança de computadores e Privacidade
8.
Fluxo de informação quantitativo
9.
Teoria da computação


Projetos de pesquisa


2017 - Atual
Uma ferramenta para cálculo de métricas de fluxo de informação quantitativo
Descrição: 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..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .
Integrantes: Mário Sérgio Ferreira Alvim Júnior - Coordenador.Financiador(es): Pró-Reitoria de Pesquisa da UFMG - Auxílio financeiro.
2015 - Atual
Medindo a segurança de sistemas interativos dinâmicos: Avançando técnicas de fluxo de informação quantitativo
Descrição: 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..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .
Integrantes: Mário Sérgio Ferreira Alvim Júnior - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
2014 - Atual
Context-QIF: Um arcabouço formal para fluxo de informação quantitativo baseado em contexto
Descrição: 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..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) .
Integrantes: Mário Sérgio Ferreira Alvim Júnior - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2013 - 2016
INRIA International Program Associate Team PRINCESS
Descrição: INRIA International program Associate Team PRINCESS 2013-2015, International collaboration between INRIA and École Polytechnique (France), University of Pennsylvania (USA), and Florida International University (USA), for research in quantitative methods for security and privacy..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (4) .
Integrantes: Mário Sérgio Ferreira Alvim Júnior - Integrante / Konstantinos Chatzikokolakis - Integrante / Catuscia Palamidessi - Coordenador / Geoffrey Smith - Integrante / Andre Scedrov - Integrante.


Membro de corpo editorial


2018 - Atual
Periódico: Proceedings on Privacy Enhancing Technologies (PoPETS)


Revisor de periódico


2011 - Atual
Periódico: Computational Intelligence
2011 - Atual
Periódico: Theoretical Computer Science
2011 - Atual
Periódico: Journal of Computer Security
2011 - Atual
Periódico: MSCS. Mathematical Structures in Computer Science (Print)
2011 - Atual
Periódico: International Journal of Information Security
2013 - Atual
Periódico: IEEE Transactions on Information Forensics and Security
2014 - Atual
Periódico: ACM Transactions on Knowledge Discovery from Data
2015 - Atual
Periódico: International Journal of Approximate Reasoning
2016 - Atual
Periódico: ACM Transactions on Privacy and Security
2016 - Atual
Periódico: ACM Transactions on Privacy and Security (TOPS)
2017 - Atual
Periódico: DATA MINING AND KNOWLEDGE DISCOVERY
2017 - Atual
Periódico: Journal of Network and Systems Management
2017 - Atual
Periódico: INFORMATION PROCESSING LETTERS
2017 - Atual
Periódico: JOURNAL OF INTERNET SERVICES AND APPLICATIONS
2018 - Atual
Periódico: IEEE SECURITY & PRIVACY
2018 - Atual
Periódico: IEEE Transactions on Information Theory


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Privacidade e Segurança.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Fluxo de informação quantitativo.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Informação.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2015
NSA 3rd Annual Best Scientific Cybersecurity Paper Competition: Best Paper in 2014, National Security Agency (EUA).
2012
Best PhD. thesis in Computer Science in 2011, and finalist for the general prize including other domains, Paris Institute of Technology (ParisTech).
2000
Primeiro lugar na categoria software na XVIII Mostra Específica de Trabalhos e Aplicações (XVIII META), CEFET-MG.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
PIMENTEL, JHIELSON M.2018PIMENTEL, JHIELSON M. ; ALVIM, MÁRIO S. ; CAMPOS, MARIO F. M. ; MACHARET, DOUGLAS G. . Information-Driven Rapidly-Exploring Random Tree for Efficient Environment Exploration. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, v. 91, p. 313-331, 2018.

2.
ALVIM, M. S.2018ALVIM, M. S.; CHATZIKOKOLAKIS, K. ; KAWAMOTO, Y. ; PALAMIDESSI, C. . A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. Entropy, v. 20, p. 382, 2018.

3.
ALVIM, M. S.2015 ALVIM, M. S.; ANDRÉS, M. E. ; CHATZIKOKOLAKIS, K. ; DEGANO, P. ; PALAMIDESSI, C. . On the information leakage of differentially-private mechanisms. Journal of Computer Security, v. 23, p. 427-469, 2015.

4.
ALVIM, M. S.2012 ALVIM, M. S.; ANDRÉS, M. E. ; PALAMIDESSI, C. . Quantitative information flow in interactive systems. Journal of Computer Security, v. 20, p. 3-50, 2012.

Capítulos de livros publicados
1.
ALVIM, MÁRIO S.; Andrés, Miguel E. ; CHATZIKOKOLAKIS, KONSTANTINOS ; PALAMIDESSI, CATUSCIA . Quantitative Information Flow and Applications to Differential Privacy. In: Alessandro Aldini; Roberto Gorrieri. (Org.). Lecture Notes in Computer Science. 1ed.Berlin: Springer Berlin Heidelberg, 2011, v. 6858, p. 211-230.

Trabalhos completos publicados em anais de congressos
1.
ALVIM, M. S.; CHATZIKOKOLAKIS, K. ; KAWAMOTO, Y. ; PALAMIDESSI, C. . Leakage and Protocol Composition in a Game-Theoretic Perspective. In: 7th International Conference on Principles of Security and Trust (POST 2018), 2018, Thessaloniki, Grécia. Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, Proceedings, 2018. p. 134-159.

2.
ALVIM, MARIO; CHATZIKOKOLAKIS, KONSTANTINOS ; PALAMIDESSI, CATUSCIA ; PAZII, ANNA . Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility. In: 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018, Oxford. 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018. p. 262.

3.
AMÉRICO, Arthur ; ALVIM, M. S. ; MCIVER, A. . An Algebraic Approach for Reasoning About Information Flow. In: 22nd International Symposium on Formal Methods, 2018, Oxford, UK. Proceeding of the 22nd International Symposium on Formal Methods, 2018.

4.
ALVIM, M. S.; CHATZIKOKOLAKIS, K. ; KAWAMOTO, Y. ; PALAMIDESSI, C. . Information Leakage Games. In: 8th Conference on Decision and Game Theory for Security (GameSec 2017), 2017, Viena. Proceeding of the 8th Conference on Decision and Game Theory for Security (GameSec 2017), 2017. p. 437-457.

5.
AMÉRICO, Arthur ; VAZ, Artur ; ALVIM, MÁRIO S. ; CAMPOS, Sérgio V. A. ; MCIVER, ANNABELLE . Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. In: XX Simpósio Brasileiro de Métodos Formais, 2017, Recife. Anais do XX Simpósio Brasileiro de Métodos Formais, 2017. p. 142-158.

6.
ALVIM, MÁRIO S.; MARDZIEL, P. ; HICKS, M. W. . Quantifying vulnerability of secret generation using hyper-distributions. In: 6th Conference on Principles of Security and Trust (POST 2017), 2017, Uppsala, Sweden. (To appear.), 2017. v. 10204. p. 26-48.

7.
SILVA, RODRIGO M. ; GOMES, GUILHERME C.M. ; ALVIM, MÁRIO S. ; GONÇALVES, MARCOS A. . Compression-Based Selective Sampling for Learning to Rank. In: the 25th ACM International, 2016, Indianapolis. Proceedings of the 25th ACM International on Conference on Information and Knowledge Management - CIKM '16. New York: ACM Press. p. 247.

8.
ALVIM, MARIO S.; CHATZIKOKOLAKIS, KONSTANTINOS ; MCIVER, ANNABELLE ; MORGAN, CARROLL ; PALAMIDESSI, CATUSCIA ; SMITH, GEOFFREY . Axioms for Information Leakage. In: 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 2016, Lisbon. 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 2016. p. 77.

9.
ALVIM, M. S.; SCEDROV, A. ; SCHNEIDER, F. B. . When not all bits are equal: Worth-based information flow. In: 3rd Conference on Principles of Security and Trust (POST 2014), 2014, Grenoble, France. Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, 2014.

10.
MARDZIEL, P. ; ALVIM, MÁRIO S. ; HICKS, M. W. ; CLARKSON, M. . Quantifying Information Flow for Dynamic Secrets. In: 35th IEEE Symposium on Security and Privacy, 2014, Oakland, CA, USA. Proceedings of the 35th IEEE Symposium on Security and Privacy, 2014.

11.
ALVIM, MÁRIO S.; CHATZIKOKOLAKIS, K. ; MCIVER, A. ; MORGAN, C. ; PALAMIDESSI, C. ; SMITH, G. . Additive and multiplicative notions of leakage, and their capacities. In: 27th IEEE Computer Security Foundations Symposium, 2014, Vienna, Austria. Proceedings of the 27th IEEE Computer Security Foundations Symposium, 2014.

12.
Alvim, M'rio S.; CHATZIKOKOLAKIS, KOSTAS ; PALAMIDESSI, CATUSCIA ; SMITH, GEOFFREY . Measuring Information Leakage Using Generalized Gain Functions. In: 2012 IEEE 25th Computer Security Foundations Symposium (CSF), 2012, Cambridge. 2012 IEEE 25th Computer Security Foundations Symposium. p. 265-279.

13.
ALVIM, MÁRIO S.; ANDRÉS, M. E. ; CHATZIKOKOLAKIS, K. ; DEGANO, P. ; PALAMIDESSI, C. . Differential Privacy: On the Trade-Off between Utility and Information Leakage. In: 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, 2011, Leuven, Belgium. Formal Aspects of Security and Trust. 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers. Berlin: Springer Berlin Heidelberg, 2011. v. 7140. p. 39-54.

14.
ALVIM, MÁRIO S.; ANDRÉS, M. E. ; CHATZIKOKOLAKIS, K. ; PALAMIDESSI, C. . On the Relation between Differential Privacy and Quantitative Information Flow. In: 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, 2011, Zurich, Switzerland. Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II. Berlin: Springer Berlin Heidelberg, 2011. v. 6756. p. 60-76.

15.
ALVIM, MÁRIO S.; PALAMIDESSI, C. ; ANDRÉS, M. E. . Information Flow in Interactive Systems. In: CONCUR 2010 - Concurrency Theory, 2010, Paris, France. 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings. Berlin: Springer Berlin Heidelberg, 2010. v. 6269. p. 102-116.

16.
ALVIM, MÁRIO S.; ANDRÉS, M. E. ; PALAMIDESSI, C. ; ROSSUM, P. V. . Safe Equivalences for Security Properties. In: Theoretical Computer Science (IFIP - TCS 2010), 2010, Brisbane. Proceeding of the 6th IFIP International Conference on Theoretical Computer Science (IFIP TCS 2010), 2010. p. 55-70.

Resumos expandidos publicados em anais de congressos
1.
MORAES, FELIPE ; ALVIM, MÁRIO S. ; SANTOS, RODRYGO L.T. . Modeling Information Flow in Dynamic Information Retrieval. In: the ACM SIGIR International Conference, 2017, Amsterdam. Proceedings of the ACM SIGIR International Conference on Theory of Information Retrieval - ICTIR '17. New York: ACM Press, 2017. p. 305-308.

2.
WU, MIN ; PEREIRA, FERNANDO M. QUINTÃO ; LIU, JIE ; RAMOS, HEITOR S. ; ALVIM, MÁRIO S. ; OLIVEIRA, LEONARDO B. . Proof-Carrying Sensing. In: the 15th ACM Conference, 2017, Delft. Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems - SenSys '17, 2017. p. 1.

3.
ALVIM, M. S.; ANDRÉS, M. E. ; PALAMIDESSI, C. . Probabilistic Information Flow. In: 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), 2010, Edinburgh, UK. Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, 2010. p. 314-321.

4.
ALVIM, M. S.; ANDRÉS, M. E. ; PALAMIDESSI, C. . Interactive Information Flow - (Invited Talk). In: Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, 2010, Paphos, Cyprus. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers, 2010. v. 6186. p. 111-111.

Resumos publicados em anais de congressos
1.
ALVIM, M. S.; MARDZIEL, P. ; HICKS, M. W. . Quantificando Vazamento de Informação sobre Estratégias. In: 1o Encontro de Teoria da Computação, 2016, Porto Alegre, RS. Anais do XXXVI Congresso da Sociedade Brasileira de Computação. Porto Alegre, RS: EDIPUCRS ? Editora Universitária da PUCRS, 2016. p. 844-847.

2.
ALVIM, MÁRIO S.; SCEDROV, A. ; SCHNEIDER, F. B. . Not all bits are created equal: incorporating the meaning and value of secret bits into measures of information flow. In: Quantitative Security Analysis (Dagstuhl Seminar 12481), 2012, Dagstuhl, Alemanha. Dagstuhl Reports. Saarbrücken/Wadern, Germany: Schloss Dagstuhl ? Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2012. v. 2. p. 139-139.

3.
ALVIM, MÁRIO S.; CHATZIKOKOLAKIS, K. ; PALAMIDESSI, C. ; SMITH, G. . Measuring Information Leakage using Generalized Gain Functions (Abstract). In: Quantitative Security Analysis (Dagstuhl Seminar 12481), 2012, Dagstuhl, Alemanha. Dagstuhl Reports. Saarbrücken/Wadern, Germany: Schloss Dagstuhl ? Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2012. v. 2. p. 140-140.

4.
ALVIM, M. S.; ANDRÉS, M. E. ; PALAMIDESSI, C. . Entropy and Attack Models in Information Flow. In: Theoretical Computer Science, 2010, Brisbane, Australia. 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings. Berlin: Springer Berlin Heidelberg, 2010. v. 323. p. 53-54.

Artigos aceitos para publicação
1.
ALVIM, MÁRIO S.; CHATZIKOKOLAKIS, KONSTANTINOS ; MCIVER, ANNABELLE ; MORGAN, CARROLL ; PALAMIDESSI, CATUSCIA ; SMITH, GEOFFREY . An Axiomatization of Information Flow Measures. THEORETICAL COMPUTER SCIENCE, 2018.

Apresentações de Trabalho
1.
AMÉRICO, Arthur ; ALVIM, M. S. ; MCIVER, ANNABELLE . An Algebraic Approach for Reasoning About Information Flow. 2018. (Apresentação de Trabalho/Simpósio).

2.
ALVIM, MÁRIO S.. Em qual unidade se mede privacidade? Usando teoria da informação para formalizar e quantificar informação privada.. 2017. (Apresentação de Trabalho/Conferência ou palestra).

3.
ALVIM, MÁRIO S.. Quando a criptografia não garante segurança: quantificando o vazamento de informação em sistemas computacionais. 2016. (Apresentação de Trabalho/Conferência ou palestra).

4.
ALVIM, M. S.; CHATZIKOKOLAKIS, K. ; MCIVER, A. ; MORGAN, C. ; PALAMIDESSI, C. ; SMITH, G. . Axioms for Information Leakage. 2016. (Apresentação de Trabalho/Simpósio).

5.
ALVIM, MÁRIO S.; MARDZIEL, P. ; HICKS, M. W. . Towards the Quantification of Strategy Leakage. 2016. (Apresentação de Trabalho/Seminário).

6.
ALVIM, MÁRIO S.; MARDZIEL, P. ; HICKS, M. W. . Quantificando Vazamento de Informação sobre Estratégias. 2016. (Apresentação de Trabalho/Seminário).

7.
ALVIM, M. S.; MARDZIEL, P. ; HICKS, M. W. . Quantificando Vazamento de Informação sobre Estratégias. 2016. (Apresentação de Trabalho/Outra).

8.
ALVIM, M. S.. The g-leakage framework for quantitative information flow. 2016. (Apresentação de Trabalho/Conferência ou palestra).

9.
ALVIM, M. S.; CHATZIKOKOLAKIS, K. ; MCIVER, A. ; MORGAN, C. ; PALAMIDESSI, C. ; SMITH, G. . A theory of gain-functions for measuring information-leakage. 2015. (Apresentação de Trabalho/Seminário).

10.
MARDZIEL, P. ; Mário S. Alvim ; HICKS, M. W. . Adversary Gain Vs. Defender Loss in Quantitative Information Flow. 2015. (Apresentação de Trabalho/Seminário).

11.
ALVIM, M. S.; SCEDROV, A. ; SCHNEIDER, F. B. . When not all bits are equal: worth-based information flow. 2015. (Apresentação de Trabalho/Conferência ou palestra).

12.
MARDZIEL, P. ; ALVIM, MÁRIO S. ; HICKS, M. W. . Adversary Gain vs. Defender Loss in Quantified Information Flow. 2014. (Apresentação de Trabalho/Seminário).

13.
ALVIM, MÁRIO S.; SCEDROV, A. ; SCHNEIDER, F. B. . When not all bits are equal: Worth-based information flow. 2014. (Apresentação de Trabalho/Conferência ou palestra).

14.
ALVIM, M. S.; SCEDROV, A. ; SCHNEIDER, F. B. . When not all bits are equal: worth-based information flow. 2013. (Apresentação de Trabalho/Conferência ou palestra).

15.
ALVIM, M. S.; SCEDROV, A. ; SCHNEIDER, F. B. . When not all bits are equal: worth-based information flow. 2013. (Apresentação de Trabalho/Conferência ou palestra).

16.
ALVIM, M. S.; SCEDROV, A. ; SCHNEIDER, F. B. . Not every bit is created equal: measuring information leakage considering the value of secret bits. 2013. (Apresentação de Trabalho/Outra).

17.
ALVIM, MÁRIO S.; SCEDROV, A. ; SCHNEIDER, F. B. . Not every bit is created equal: measuring information leakage considering the value of secret bits. 2012. (Apresentação de Trabalho/Seminário).

18.
ALVIM, MÁRIO S.; SCEDROV, A. ; SCHNEIDER, F. B. . Not every bit is created equal: measuring information leakage considering the value of secret bits. 2012. (Apresentação de Trabalho/Seminário).

19.
ALVIM, M. S.; SCEDROV, A. ; SCHNEIDER, F. B. . Not every bit is created equal: measuring information leakage considering the value of secret bits. 2012. (Apresentação de Trabalho/Outra).

20.
ALVIM, MÁRIO S.; SCEDROV, A. ; SCHNEIDER, F. B. . Not every bit is created equal: measuring information leakage considering the value of secret bits. 2012. (Apresentação de Trabalho/Seminário).

21.
ALVIM, MÁRIO S.; ANDRÉS, M. E. ; DEGANO, P. ; PALAMIDESSI, C. . Differential Privacy: The Trade-Off Between Privacy and Utility. 2011. (Apresentação de Trabalho/Outra).

22.
ALVIM, MÁRIO S.; ANDRÉS, M. E. ; PALAMIDESSI, C. . Differential Privacy: A study of utility and min-entropy leakage. 2011. (Apresentação de Trabalho/Seminário).

23.
ALVIM, MÁRIO S.; ANDRÉS, M. E. ; ROSSUM, P. V. ; PALAMIDESSI, C. . Safe Equivalences for Security Properties. 2010. (Apresentação de Trabalho/Conferência ou palestra).

24.
ALVIM, MÁRIO S.; ANDRÉS, M. E. ; PALAMIDESSI, C. . Information Flow in Interactive Systems. 2010. (Apresentação de Trabalho/Conferência ou palestra).

25.
ALVIM, MÁRIO S.. Quantitative Information Flow - An Overview. 2010. (Apresentação de Trabalho/Comunicação).

26.
ALVIM, MÁRIO S.; ANDRÉS, M. E. ; PALAMIDESSI, C. . Quantitative Information Flow in Interactive Systems. 2010. (Apresentação de Trabalho/Outra).

27.
ALVIM, M. S.; ARAUJO, L. C. ; CABRAL, G. A. ; CORREA, L. Q. ; SILVEIRA, D. R. . BHBUSca - Sistema Inteligente de Informações Sobre Transporte Público Urbano. 2000. (Apresentação de Trabalho/Outra).

Outras produções bibliográficas
1.
ALVIM, M. S.; DELAUNE, S. . PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security. New York, NY, USA, 2018. (Prefácio, Pósfacio/Prefácio)>.

2.
ALVIM, M. S.. Formal approaches to information hiding: An analysis of interactive systems, statistical disclosure control, and refinement of specifications. Palaiseau, France 2011 (Ph.D. Dissertation).

3.
ALVIM, M. S.. Computation Aspects of the Calculus of Structures 2008 (Masters Thesis).


Produção técnica
Programas de computador sem registro
1.
ALVIM, MÁRIO S.; ARAUJO, L. C. ; CABRAL, G. A. ; CORREA, L. Q. ; SILVEIRA, D. R. . BHBUSca: Sistema de Informações Sobre Transporte Público Urbano. 2000.


Demais tipos de produção técnica
1.
MARDZIEL, P. ; ALVIM, MÁRIO S. ; HICKS, M. W. . Adversary Gain vs. Defender Loss in Quantified Information Flow. 2014. (Relatório de pesquisa).

2.
ALVIM, M. S.; SCEDROV, A. ; SCHNEIDER, F. B. . When not all bits are equal: Worth-based information flow. 2013. (Relatório de pesquisa).

3.
ALVIM, M. S.; ANDRÉS, M. E. ; CHATZIKOKOLAKIS, K. ; DEGANO, P. ; PALAMIDESSI, C. . On the information leakage of differentially-private mechanisms. 2012. (Relatório de pesquisa).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
GONCALVES, M. A.; DALIP, D. H.; PAPPA, G. L.; Mário S. Alvim. Participação em banca de Luiz Felipe Gonçalves Magalhães. Separação automátia de atributos para métodos de parendizado multi-visão. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

2.
GONCALVES, M. A.; PAPPA, G. L.; ROCHA, L. C. D.; ALVIM, M. S.. Participação em banca de Victor Silva Rodrigues. Exploiting Semantic Similarity for Improved Text Representation. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

3.
ALVIM, MÁRIO S.; PIMENTEL, E. G.; OLARTE, C. A.. Participação em banca de Bruno Francisco Xavier. Formalização da Lógica Linear em Coq. 2017. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.

4.
ALVIM, MÁRIO S.; PIMENTEL, E. G.; OLARTE, C. A.. Participação em banca de Laura Fernandes Dell Orto. Um estudo de Lógica Linear com Subexponenciais. 2017. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.

5.
ALVIM, MARIO S.; PIMENTEL, E. G.; RIVIECCIO, U.; KUZMIN, A.. Participação em banca de Paulo Roberto Beltrão Maia. Dualidades: de Birkhoff à N4-reticulados limitados. 2017. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.

6.
GOUSSEVSKAIA, O.; SANTOS, V. F.; LOUREIRO, A. A. F.; SZWARCFITER, J.; ALVIM, M. S.. Participação em banca de Manassés Ferreira Neto. Infraestrutura de Acesso em Redes sem Fio Obstruídas: da Infraestrutura à Conectividade. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

7.
PEREIRA, F. M. Q.; BORIN, E.; ALVIM, M. S.. Participação em banca de Gabriel Poesia Reis e Silva. Dynamic dispatch of context-sensitive optimizations. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

8.
GRAAF, J. V.; DAHAB, R.; ALVIM, M. S.. Participação em banca de Luis Guilherme Silva Pena. Análise de Protocolos de Acordo de Chaves Baseados Em Teoria da Informação. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

9.
SANTOS, R. L. T.; LAENDER, A. H. F.; MARINHO, L. B.; GONCALVES, M. A.; ALVIM, M. S.. Participação em banca de Vítor Mangaravite. Modelos de autoria não-booleanos para busca de especialistas na academia. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

10.
MACHARET, D. G.; CAMPOS, M. F. M.; ALVES NETO, A.; CHAIMOWICZ, L.; ALVIM, M. S.. Participação em banca de Jhielson Montino Pimentel. Exploração autônoma de ambientes baseada em ganho de informação. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

11.
BENEVENUTO, F.; GUMMADI, K. P.; ALVIM, M. S.; MELO, P. O. S. V.. Participação em banca de Leandro Augutso de Araújo Silva. A measrument study of hate speech in social media. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

12.
OLIVEIRA, L. B. E.; PEREIRA, F. M. Q.; VILELA NETO, O. P.; ALVIM, M. S.. Participação em banca de Luiz Felipe Zafra Saggioro. X-RA: A Range Analysis for Networked Systems. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Teses de doutorado
1.
GONCALVES, M. A.; ROCHA, L. C. D.; CARVALHO, A. P.; ROCHA, A. R.; PAPPA, G. L.; ALVIM, M. S.. Participação em banca de Thiago Cunha de Moura Salles. Random-Forest Based Classifiers For High Dimensional noisy Data Classification. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

2.
NOGUEIRA, J. M. S.; MACEDO, D. F.; MADEIRA, E. R. M.; ALVIM, M. S.; LIMA, M. N.; CORREIA, L. H. A.. Participação em banca de Thiago Rodrigues Oliveira. Redes Sociais para Certificação em Redes Veiculares Tolerantes a Interrupções. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

3.
PEREIRA, F. M. Q.; DURHAM, A. M.; ARANHA, D. F.; FRANCA, F. M. G.; OLIVEIRA, L. B. E.; ALVIM, M. S.. Participação em banca de Bruno Rodrigues Silva. Análise Esparsa de Fluxo de Informação. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

4.
NOGUEIRA, J. M. S.; OLIVEIRA, L. B. E.; FEITOSA, E. L.; PEREIRA, F. M. Q.; DELICATO, F. C.; ALVIM, M. S.. Participação em banca de Fernando Augusto Teixeira. Securing Networked Embedded Systems Through Distributed Systems Analysis. 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Qualificações de Doutorado
1.
VILELA NETO, O. P.; VIEIRA, L. F. M.; ALVIM, M. S.; RIBAS, R. P.; TORRES, F. S.. Participação em banca de Jeferson Figueiredo Chaves. Redução do Limite Energético Fundamental e Impactos Temporais em Circuitos de Nanodispositivos de Acoplamento Local de Campo. 2018. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

2.
SANTOS, J. A.; SCHWARTZ, W. R.; GOMES, D. M.; ALVIM, M. S.; ASSUNCAO, R. M.; KORTING, T. S.. Participação em banca de Keiller Nogueira. Going deep into remote sensing spatial feature learning. 2017. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

3.
YEHIA, H. C.; GRAAF, J. V.; BARBOSA, A. V.; SKORIC, B.; DAHAB, R.; ALVIM, M. S.. Participação em banca de Vladimir Portela Parente. Unconditionally Secure Key Establishment and Secure Communication Through the Audio Channel by Extraction of Similar Audio Content. 2017. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Minas Gerais.



Participação em bancas de comissões julgadoras
Outras participações
1.
ALVIM, M. S.. Programa MINAS MUNDI Programa de Mobilidade Discente Internacional para Graduação da UFMG. 2015. Universidade Federal de Minas Gerais.

2.
ALVIM, M. S.. Semana da Pós-Graduação em Ciência da Computação 2015. 2015. Universidade Federal de Minas Gerais.

3.
Mário S. Alvim. Programa MINAS MUNDI Programa de Mobilidade Discente Internacional para Graduação da UFMG. 2014. Universidade Federal de Minas Gerais.

4.
Mário S. Alvim. XXIII SEmana de Iniciação Científica da UFMG - SIC 2014. 2014.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods(FM 2019).Membro do comitê de programa.. 2019. (Simpósio).

2.
13th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2018).Co-chair do evento. 2018. (Outra).

3.
13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018).Comitê de Programa. 2018. (Oficina).

4.
15th International Conference on Quantitative Evaluation of Systems (QEST 2018). Comitê de Programa. 2018. (Congresso).

5.
22nd International Symposium on Formal Methods (FM 2018).An Algebraic Approach for Reasoning About Information Flow. 2018. (Simpósio).

6.
31st IEEE Computer Security Foundations Symposium (CSF 2018).Comitê de Programa. 2018. (Simpósio).

7.
4th International Conference on Information Systems Security and Privacy. Comitê de Programa. 2018. (Congresso).

8.
Federated Logic Conference 2018 (FLoC 2018). 2018. (Congresso).

9.
XVIII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2018).Comitê de programa.. 2018. (Simpósio).

10.
3rd International Conference on Information Systems Security and Privacy (ICISSP 2017). Comitê de Programa. 2017. (Congresso).

11.
6th Conference on Principles of Security and Trust (POST 2017). Quantifying vulnerability of secret generation using hyper-distributions. 2017. (Congresso).

12.
ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS 2017).Comitê de Programa. 2017. (Oficina).

13.
Workshop on Foundations of Computer Security (FCS 2017).Comitê de Programa. 2017. (Oficina).

14.
XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Comitê de Programa. 2017. (Congresso).

15.
1o Encontro de Teoria da Computação.Quantificando Vazamento de Informação sobre Estratégias. 2016. (Oficina).

16.
29th IEEE Computer Security Foundations Symposium.Axioms for Information Leakage. 2016. (Simpósio).

17.
2nd International Conference on Information Systems Security and Privacy (ICISSP 2016). Comitê de Programa. 2016. (Congresso).

18.
II Workshop Brasil-EUA em Segurança Cibernética e Privacidade na Internet.Generalizing information measures using gain functions. 2016. (Oficina).

19.
Workshop on Foundations of Computer Security.Towards the Quantification of Strategic Leakage. 2016. (Oficina).

20.
Workshop on Quantitative Information Flow. 2016. (Oficina).

21.
XVI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Comitê de Programa. 2016. (Congresso).

22.
1st nternational Conference on Information Systems Security and Privacy. Comitê de Programa. 2015. (Congresso).

23.
8th Interaction and Concurrency Experience (ICE 2015).Comitê de Programa. 2015. (Oficina).

24.
I Workshop Brasil-EUA em Segurança Cibernética e Privacidade na Internet.Are Security and Privacy Mutually Exclusive?. 2015. (Oficina).

25.
MURI Evaluation of Science of Security Project.When not all bits are equal: Worth-based information flow. 2015. (Encontro).

26.
XV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Comitê de Programa. 2015. (Congresso).

27.
3rd Conference on Principles of Security and Trust (POST 2014). When not all bits are equal: Worth-based information flow. 2014. (Congresso).

28.
Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography - Membro do comitê de programa (Program Comittee).Comitê de Programa. 2014. (Oficina).

29.
XIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Comitê de Programa. 2014. (Congresso).

30.
26th IEEE Computer Security Foundations Symposium (CSF 2013). 2013. (Simpósio).

31.
28th ACM/IEEE Symposium on Logic in Computer Science (LICS 2013). 2013. (Simpósio).

32.
DIMACS - Working group on measuring anonymity.Measuring anonymity. 2013. (Encontro).

33.
Protocol eXchange Spring.When not all bits are equal: incorporating. 2013. (Encontro).

34.
Standord MURI Science of Cyber Security Annual Review (2013).When not all bits are equal: Incorporating 'worth' into information-flow measures. 2013. (Outra).

35.
Workshop on Foundations of Computer Security (FCS'13).When not all bits are equal: incorporating. 2013. (Oficina).

36.
25th IEEE Computer Security Foundations Symposium (CSF 2012).Measuring Information Leakage Using Generalized Gain Functions. 2012. (Simpósio).

37.
39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012). 2012. (Simpósio).

38.
Dagstuhl Seminar on Quantitative Security Analysis.Not every bit is created equal: Measuring information leakage considering the value of secret bits. 2012. (Seminário).

39.
DIMACS Workshop on Recent Work on Differential Privacy across Computer Science. 2012. (Oficina).

40.
NII Shonan Meeting on Quantitative Mehotds in Security and Safety Critical Applications.Not every bit is created equal: Measuring information leakage considering the value of secret bits. 2012. (Oficina).

41.
Protocol eXchange Fall.Not every bit is created equal: Measuring information leakage considering the value of secret bits. 2012. (Encontro).

42.
11th International School on Foundations of Security Analysis and Design (FOSAD 2011).Quantitative Information Flow and Applications to Differential Privacy. 2011. (Outra).

43.
24th IEEE Computer Security Foundations Symposium (CSF 2011). 2011. (Simpósio).

44.
38th International Colloquium on Automata, Languages and Programming (ICALP 2011). On the Relation between Differential Privacy and Quantitative Information Flow. 2011. (Congresso).

45.
Atelier Protection de la Vie Privée (seconde édition) / Géolocalisation et Vie Privée.Differential Privacy: a Study of Utility and Min-Entropy Leakage. 2011. (Oficina).

46.
Workshop on Games, Logic and Security 2011 (GIPSy 2011).Differential privacy:the trade-off between privacy and utility. 2011. (Oficina).

47.
Workshop on Quantum and Classic Information Flow.Quantitative information flow in interactive systems. 2011. (Oficina).

48.
1st ACM International Summer School on Information Security and Protection. 2010. (Oficina).

49.
21st International Conference on Concurrency Theory (CONCUR 2010). Information Flow in Interactive Systems. 2010. (Congresso).

50.
Digiteo 2010 Annual Forum.Quantitative information flow: an overview. 2010. (Encontro).

51.
Theoretical Computer Science (IFIP - TCS 2010). Safe Equivalences for Security Properties. 2010. (Congresso).

52.
10th Brazilian Symposium On Formal Methods (SBMF 2007). 2007. (Simpósio).

53.
2nd Workshop on Logical And Semantic Frameworks (LSFA 2007). 2007. (Oficina).

54.
10th Workshop on Logic, Language, Information and Computation (Wollic 2003). 2003. (Oficina).

55.
XVIII Mostra Específica de Trabalhos e Aplicações (META).BHBUSca: sitema de informaçao inteligente ao usuário de ônibus em Belo Horizonte. 2000. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
ALVIM, M. S.; DELAUNE, S. . 13th ACM Sigplan Workshop on Programming Languages and Analysis for Security (PLAS 2018). 2018. (Outro).

2.
GRAAF, J. V. ; NOGUEIRA, J. M. ; OLIVEIRA, L. B. E. ; ARANHA, D. F. ; BARCELOS, M. P. ; Mário S. Alvim . XIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. 2014. (Outro).

3.
Mário S. Alvim. Workshop on Privacy and Information Flow. 2012. (Outro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Thiago Vieira de Alcântara Silva. Justiça em Aprendizado de Máquina. Início: 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Waner de Oliveira Miranda. Recuperação de informação visual usando programação genética. Início: 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais. (Coorientador).

Tese de doutorado
1.
Edemir Ferreira de Andrade Júnior. Mapeamento geográfico utilizando imagens aéreas de múltiplas bases de conhecimento. Início: 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais. (Coorientador).

2.
Rodrigo Silva. Active Learning for Learning to Rank. Início: 2013. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais. (Coorientador).

Trabalho de conclusão de curso de graduação
1.
Júlia Pereira Sepúlveda. Classificando Culturas. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais. (Orientador).

2.
Tiago Melo Tannus. Verificação de Software Utilizando o Assistente de Prova Coq. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais. (Orientador).

3.
Artur Duarte Pena Vaz. Um biblioteca para estimação composicional de fluxo de informação. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. (Orientador).

Iniciação científica
1.
Ramon Gonçalves Gonze. Métodos formais para quantificação de fluxo de informação. Início: 2018. Iniciação científica (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais. (Orientador).

2.
Bruno Reis Ferreira Maia. Introdução ao uso do assistente de provas Coq. Início: 2018 - Universidade Federal de Minas Gerais. (Orientador).

3.
Tiago Melo Tannus. Introdução ao uso do assistente de provas Coq. Início: 2018. Iniciação científica (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais. (Orientador).

4.
José Carlos de Oliveira Júnior. Introdução ao uso do assistente de provas Coq. Início: 2018. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais. (Orientador).

5.
Charbel Zaharam de Menezes Soares Rodrigues. Introdução ao uso do assistente de provas Coq. Início: 2018. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais. (Orientador).

6.
Artur Duarte Penna Vaz. Métodos formais para quantificação de fluxo de informação. Início: 2018. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais. (Orientador).

Orientações de outra natureza
1.
Niander Neves de Assis. Discriminação e justiça em algoritmos: Uma abordagem causal. Início: 2018. Orientação de outra natureza. Universidade Federal de Minas Gerais. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Arthur Américo Passos de Rezende. An Algebraic Framework for Quantitative Information Flow. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Mário Sérgio Ferreira Alvim Júnior.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Alessandra de Oliveira Vilela da Cruz. Execução de Algoritmo de Fluxo de Informação Quantitativo e Associação dos Resultados a Ataques de Engenharia Social. 2017. Monografia. (Aperfeiçoamento/Especialização em Sistemas de Informação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

Trabalho de conclusão de curso de graduação
1.
Lívia Almeida Barbosa. Uma Ferramenta De Visualização De Hiper-distribuições De Probabilidade. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

2.
Gabriel Lucas Silva Machado. Métricas para fairness em ciência de dados. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

3.
João Victor Teixeira. Estado Da Arte Em Security Games. 2017. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

4.
João Victor Teixeira. Security Games: Estado Da Arte Em Adversary Behaviour. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

5.
Lívia Almeida Barbosa. Ferramenta De Visualização De Hiper-distribuições De Probabilidade. 2017. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

6.
Juliano Peres Amado Ladeira. Quantitative​ ​information​ ​flow​ ​e​ ​ataque​ ​a​ ​anonimato​ ​de Protocolo​ ​crowds​ ​em​ ​redes​ ​MANET. 2017. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

7.
Alessandra de Oliveira Vilela da Cruz. Engenharia social: uma survey em métodos utilizados por engenheiros sociais para se obterem informações.. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

8.
Alessandra de Oliveira Vilela da Cruz. Engenharia social: Uma survey em métodos utilizados por engenheiros sociais para se obterem informações.. 2016. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

9.
Bruno Maciel Peres. Verificação de um Sistema de Criação de Sites. 2015. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

10.
Arthur Felipe Reis Mourão Proposta. Uma Ferramenta para Atribuição de Valoração em Fluxo de Informação Quantitativo. 2015. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

11.
Bruno Maciel Peres. Verificação de um Software de Edição de Sites. 2015. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

12.
Clecio Juliano Klechen. Um estudo sobre quesitos de consistência para derivação de atribuições de valoração. 2015. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

13.
Diego Araújo Costa. Uma ferramenta para cálculo de métricas de fluxo de informação quantitativo. 2014. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

Iniciação científica
1.
Pedro Nascimento Costa. Introdução à programação funcional probabilística. 2018. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

2.
Pedro Nascimento Costa. Métodos formais para quantificação de fluxo de informação. 2018. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

3.
Artur Duarte Penna Vaz. Introdução à programação funcional probabilística. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

4.
Frederico Penna Santiago. Análise Formal de Requisitos de Consistência para Atribuições de Valoração. 2016. Iniciação Científica. (Graduando em Engenharia Elétrica) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

5.
Carina Capelão de Oliveira. Métodos Formais para Fluxo de Informação Quantitativo. 2015. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

6.
Augusto Moraes Moreira Penna. Fluxo de informação quantitativo em sistemas computacionais. 2015. Iniciação Científica. (Graduando em Matemática Computacional) - Universidade Federal de Minas Gerais, Pró-Reitoria de Pesquisa da UFMG. Orientador: Mário Sérgio Ferreira Alvim Júnior.

7.
Frederico Pena Santiago. Uma ferramenta para cálculo de métricas de fluxo de informação quantitativo. 2015. Iniciação Científica. (Graduando em Engenharia Elétrica) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

8.
Frederico Pena Santiago. Uma ferramenta para cálculo de métricas de fluxo de informação quantitativo. 2014. Iniciação Científica. (Graduando em Engenharia Elétrica) - Universidade Federal de Minas Gerais, Pró-Reitoria de Pesquisa da UFMG. Orientador: Mário Sérgio Ferreira Alvim Júnior.

Orientações de outra natureza
1.
João Paulo B. Brum. Implementação de um protótipo de uma Interface Web para processar inferências dentro de uma ontologia OWL utilizando uma API Reasoner. 2017. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.

2.
Guilherme de Castro Mendes Gomes. Elaboração de um Curso Introdutório à Teoria da Decisão. 2016. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Minas Gerais. Orientador: Mário Sérgio Ferreira Alvim Júnior.



Inovação



Programa de computador sem registro
1.
ALVIM, MÁRIO S.; ARAUJO, L. C. ; CABRAL, G. A. ; CORREA, L. Q. ; SILVEIRA, D. R. . BHBUSca: Sistema de Informações Sobre Transporte Público Urbano. 2000.



Outras informações relevantes


I?m an assistant professor at the Computer Science Department (DCC) of the Federal University of Minas Gerais (UFMG) since September 2013. DCC is one of the three CS departments in the country ranked as a center of excellence by the Brazilian Government.

From January 2012 until September 2013 I was a post-doctoral researcher at the Department of Mathematics at the University of Pennsylvania under the supervision of Prof. Andre Scedrov, with funds from the Stanford Science of Cyber-security MURI. During my post-doc I had the pleasure of maintaining a close collaboration with Prof. Fred B. Schneider from the Computer Science Department of Cornell University.

I obtained my Ph.D. from LIX, École Polytechnique (France) in 2011 under the supervision of Prof. Catuscia Palamidessi, with funds from CNRSand DGA. My dissertation on Formal Approaches to Information Hiding (more details about it here) was a finalist of the Prix de Thèse ParisTech 2011, granted by the Paris Institute of Technology (ParisTech), representing the best thesis in Computer Science among the 632 thesis defended that year in 12 of the most prestigious Grande Écoles in France.

I obtained a MSc. degree in Computer Science also from UFMG in 2008, with focus on Proof Theory and Logics, under the supervision of Prof. Elaine Pimentel and co-supervision of Prof. Roberto Bigonha.

Before that I obtained a Technical degree in Industrial Informatics from CEFET-MG in 2000. During this period, with a group of colleagues, we developed the first point-to-point information system for public transportation in Minas Gerais, the system BHBUSca, whereby obtaining the first prize at the XVIII META.



Página gerada pelo Sistema Currículo Lattes em 15/11/2018 às 21:52:12