Mário Sérgio Ferreira Alvim Júnior

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.

Informações coletadas do Lattes em 25/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Ciência da Computação

2008 - 2011

Ecole Polytechnique
Título: Formal approaches to information hiding: an analysis of interactive systems, statistical disclosure control, and refinement of specification
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 TerraGrande Á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.

Mestrado em Ciências da Computação

2006 - 2008

Universidade Federal de Minas Gerais
Título: Aspectos Computacionais do Cálculo das Estruturas,Ano de Obtenção: 2008
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 TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

Graduação em Ciência da Computação

2001 - 2005

Universidade Federal de Minas Gerais
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

Curso técnico/profissionalizante

1998 - 2000

Centro Federal de Educação Tecnológica de Minas Gerais

Seção coletada automaticamente pelo Escavador

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.

Seção coletada automaticamente pelo Escavador

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.

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Francês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

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: Métodos Formais.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Fluxo de informação quantitativo.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Informação.

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.

Seção coletada automaticamente pelo Escavador

Organização de eventos

ALVIM, M. S. ; DELAUNE, S. ; GABOARDI, M. ; MARDZIEL, P. ; MURRAY, T. ; STEFAN, D. ; VAZOU, N. . Steering Committee of the ACM Workshop on Programming Languages and Analysis for Security (PLAS). 2020. (Outro).

ALVIM, M. S. ; CHATZIKOKOLAKIS, KOSTAS ; OLARTE, C. A. ; Valencia, Frank . Workshop in hounour of Catuscia Palamidessi's 60 birthday: a journey from logic and concurrency to security and privacy. 2019. (Outro).

ALVIM, M. S. ; BIELOVA, N. ; CLARKSON, M. ; DELAUNE, S. ; GABOARDI, M. ; JIA, L. ; MURRAY, T. ; STEFAN, D. . Steering Committee of the ACM Workshop on Programming Languages and Analysis for Security (PLAS). 2019. (Outro).

ALVIM, M. S. ; DELAUNE, S. . 13th ACM Sigplan Workshop on Programming Languages and Analysis for Security (PLAS 2018). 2018. (Outro).

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).

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

Seção coletada automaticamente pelo Escavador

Participação em eventos

21st Privacy Enhancing Technologies Symposium (PETs 2021).Membro do comitê de programa.. 2021. (Simpósio).

34th IEEE Computer Security Foundations Symposium (CSF 2021).Membro do comitê de programa.. 2021. (Simpósio).

7th International Conference on Information Systems Security and Privacy (ICISSP 2021).Membro do comitê de programa.. 2021. (Simpósio).

6th International Conference on Information Systems Security and Privacy.Membro de comitê de programa.. 2020. (Simpósio).

IV Encontro de Teoria da Computação.Membro do comitê de programa.. 2020. (Encontro).

The 20th Privacy Enhancing Technologies Symposium (PETs 2020).Membro de comitê de programa.. 2020. (Simpósio).

XX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2020).Membro do comitê de programa.. 2020. (Simpósio).

23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods(FM 2019).Membro do comitê de programa.. 2019. (Simpósio).

The 19th Privacy Enhancing Technologies Symposium (PETs 2019).Membro de comitê de programa.. 2019. (Simpósio).

Workshop Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday.The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. 2019. (Oficina).

XIX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2019).Membro de comitê de programa.. 2019. (Simpósio).

13th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2018).Chair. 2018. (Outra).

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

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

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

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

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

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

The 18th Privacy Enhancing Technologies Symposium (PETS 2018).Membro de comitê de programa.. 2018. (Simpósio).

Workshop on Cyber Security in Connected Devices (WSCDC 2018).Membro de comitê de programa.. 2018. (Oficina).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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).

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

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

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

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

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).

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

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

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

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

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

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

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

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

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

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).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: André Lopes Gonzaga

MORO, M.;ALVIM, MÁRIO S.; CHAIMOWICZ, L.; BARBOSA, D.. A Probabilistic Algorithm To Predict Missing Facts From Knowledge Graphs. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Thiago Vieira de Alcântara Silva

ALVIM, M. S.; MARINHO, L. B.; FIGUEIREDO, F. V. D.;COUTINHO, G. M.. On the relationship of privacy and fairness in machine learning. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Luiz Felipe Gonçalves Magalhães

GONCALVES, M. A.; DALIP, D. H.; PAPPA, G. L.;Mário S. Alvim. 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.

Aluno: Victor Silva Rodrigues

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

Aluno: Arthur Américo Passos de Rezende

ALVIM, M. S.; MCIVER, A.;COUTINHO, G. M.; SANTOS, V. F.; OLARTE, C. A.. An Algebraic Framework for Quantitative Information Flow. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Bruno Francisco Xavier

ALVIM, MÁRIO S.PIMENTEL, E. G.; OLARTE, C. A.. 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.

Aluno: Laura Fernandes Dell Orto

ALVIM, MÁRIO S.PIMENTEL, E. G.; OLARTE, C. A.. 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.

Aluno: Paulo Roberto Beltrão Maia

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

Aluno: Manasses Ferreira Neto

GOUSSEVSKAIA, O.; SANTOS, V. F.; LOUREIRO, A. A. F.; SZWARCFITER, J.;ALVIM, M. S.. 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.

Aluno: Gabriel Poesia Reis E Silva

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

Aluno: Luis Guilherme Silva Pena

GRAAF, J. V.; DAHAB, R.;ALVIM, M. S.. 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.

Aluno: Vítor Mangaravite

SANTOS, R. L. T.; LAENDER, A. H. F.; MARINHO, L. B.; GONCALVES, M. A.;ALVIM, M. S.. 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.

Aluno: Jhielson Montino Pimentel

MACHARET, D. G.; CAMPOS, M. F. M.; ALVES NETO, A.; CHAIMOWICZ, L.;ALVIM, M. S.. 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.

Aluno: Leandro Augutso de Araújo Silva

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

Aluno: Luiz Felipe Zafra Saggioro

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

Aluno: Thiago Cunha de Moura Salles

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

Aluno: Thiago Rodrigues Oliveira

NOGUEIRA, J. M. S.; MACEDO, D. F.; MADEIRA, E. R. M.;ALVIM, M. S.; LIMA, M. N.; CORREIA, L. H. A.. 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.

Aluno: Bruno Rodrigues Silva

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

Aluno: Fernando Augusto Teixeira

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

Aluno: ROGÉRIO VINÍCIUS MATOS ROCHA

MADEIRA, E. R. M.;ALVIM, M. S.; PEDRINI, H.. Privacy-preserving Protocols with Differential Privacy. 2019. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Rodrigo de Magalhães Silva

GONCALVES, M. A.;ALVIM, MÁRIO S.; SANTOS, R. L. T.; Murai, F.; TORRES, R. S.. Compression-Based Unsupervised Sampling for Learning to Rank. 2019. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Edemir Ferreira de Andrade Junior

SANTOS, J. A.ALVIM, M. S.; GUIMARAES, S. J. F.; NOBREGA, R. A. A.; DAVIS JUNIOR, C. A.; Murai, F.. Facing Spatial and Temporal Domain Shift in Remote Sensing Images. 2019. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Jeferson Figueiredo Chaves

VILELA NETO, O. P.; VIEIRA, L. F. M.;ALVIM, M. S.; RIBAS, R. P.; TORRES, F. S.. 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.

Aluno: Keiller Nogueira

SANTOS, J. A.; SCHWARTZ, W. R.; GOMES, D. M.;ALVIM, M. S.; ASSUNCAO, R. M.; KORTING, T. S.. 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.

Aluno: Vladimir Portela Parente

YEHIA, H. C.;GRAAF, J. V.; BARBOSA, A. V.; SKORIC, B.; DAHAB, R.;ALVIM, M. S.. 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.

ALVIM, MARIO S.. IFNMG - Professor de Ensino Básico, Técnico e Tecnológico do Quadro Permanente de Pessoal do. 2019.

ALVIM, M. S.. Programa MINAS MUNDI Programa de Mobilidade Discente Internacional para Graduação da UFMG. 2015. Universidade Federal de Minas Gerais.

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

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

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

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Joao Marcos de Almeida

PIMENTEL, E. G.; Bigonha, R. S.;MARCOS, J.; FIGUEIREDO, L. C.. Aspectos computacionais do cálculo de estruturas. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Seção coletada automaticamente pelo Escavador

Orientou

Gabriel Henrique Lopes Gomes Alves Nunes

On The Trade-Off between Transparency and Privacy in Statistical Disclosure Control; Início: 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Tiago Melo Tannus

Characterizing Strategy Leakage for Dynamic Secrets; Início: 2019; 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);

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);

Edemir Ferreira de Andrade Junior

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);

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);

Ramon Goncalves Gonze

Um estudo comparativo de técnicas de anonimização de dados públicos; Início: 2019; Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais; (Orientador);

Jose Carlos de Oliveira Junior

Verificando a corretude dos algoritmos de ordenação com o assistente de provas Coq; Início: 2019; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);

Bernardo Teixeira de Amorim Neto

Métodos formais com aplicações a segurança, privacidade, transparência, justiça e outras questões sociais em ciência da computação; Início: 2020; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);

Matheus Marchesotti Dutra Ferraz

Métodos formais com aplicações a segurança, privacidade, transparência, justiça e outras questões sociais em ciência da computação; Início: 2020; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);

Igor Wallace dos Santos Lemes

Fluxo de informação quantitativo em sistemas computacionais; Início: 2019; Iniciação científica (Graduando em Matemática Computacional) - Universidade Federal de Minas Gerais; (Orientador);

Jose Carlos de Oliveira Junior

Introdução ao uso do assistente de provas Coq; Início: 2019; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);

Ramon Goncalves Gonze

Fluxo de informação quantitativo em sistemas computacionais; Início: 2019; Iniciação científica (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais; (Orientador);

Lucas Peixoto Fraga

Estágio em Docência na disciplina DCC 129 ? Fundamentos de Teoria da Computação (2020/01); Início: 2020; Orientação de outra natureza; Universidade Federal de Minas Gerais; (Orientador);

André Lopes Gonzaga

A Probabilistic Algorithm To Predict Missing Facts From Knowledge Graphs; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Coorientador: Mário Sérgio Ferreira Alvim Júnior;

Thiago Vieira de Alcântara Silva

On the relationship of privacy and fairness in machine learning; 2019; 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: Mário Sérgio Ferreira Alvim Júnior;

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;

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;

Pedro Augusto de Paula Barbosa

Avaliacao quantitativa de smart-meters quanto a invasao de privacidade atraves do arcabouco de g-vulnerability; 2019; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

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;

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;

Tiago Melo Tannus

Verificação de Software Utilizando o Assistente de Prova Coq; 2018; 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;

Artur Duarte Pena Vaz

Um biblioteca para estimação composicional de fluxo de informação; 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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

Clécio 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;

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;

Pedro Rios Bustamante

Introdução ao uso do assistente de provas Coq; 2019; 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;

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;

Charbel Zaharam de Menezes Soares Rodrigues

Introdução ao uso do assistente de provas Coq; 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;

Jose Carlos de Oliveira Junior

Introdução ao uso do assistente de provas Coq; 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;

Tiago Melo Tannus

Introdução ao uso do assistente de provas Coq; 2018; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Bruno Reis Ferreira Maia

Introdução ao uso do assistente de provas Coq; 2018; Iniciação Científica - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Ramon Goncalves Gonze

Uma Ferramenta de Visualização para Fluxo de Informação Quantitativo; 2018; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Artur Duarte Penna Vaz

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;

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;

Igor Wallace dos Santos Lemes

Uma Ferramenta de Visualização para Fluxo de Informação Quantitativo; 2018; Iniciação Científica; (Graduando em Matemática Computacional) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Caio Alves Caldeira

Introdução ao uso do assistente de provas Coq; 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;

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;

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;

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;

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;

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;

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;

Gabriel Henrique Lopes Gomes Alves Nunes

Estágio em Docência na disciplina DCC 836 / DCC 030 ? Introdução à Lógica Computacional (2019/01); 2019; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Gabriel Peres Nobre

Estágio em Docência na disciplina DCC 836 / DCC 049 ? Introdução à Lógica Computacional (2019/01); 2019; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Rodrigo Otávio Gonçalves Chaves

Estágio em Docência na disciplina DCC 836 ? Introdução à Lógica Computacional (2019/02); 2019; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Bernardo de Almeida Abreu

Estágio em Docência na disciplina DCC 836 ? Introdução à Lógica Computacional (2019/02); 2019; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Niander Neves de Assis

Discriminação e justiça em algoritmos: Uma abordagem causal; 2018; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Tiago Melo Tannus

Estágio em Docência na disciplina DCC 129 ? Fundamentos de Teoria da Computação (2018/01); 2018; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Tiago Melo Tannus

Estágio em Docência na disciplina DCC 129 ? Fundamentos de Teoria da Computação (2018/02); 2018; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

João Paulo B

Brum; Implementacao de um prototipo de uma Interface Web para processar inferencias 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;

Victor Silva Rodrigues

Estágio em Docência na disciplina DCC 129 ? Fundamentos de Teoria da Computação (2017/01); 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;

Felipe Augusto Resende Viegas

Estágio em Docência na disciplina DCC 030/049/831 ? Teoria da Informação (2017/02); 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;

Fabrício Horácio Sales Pereira

Estágio em Docência na disciplina DCC 129 ? Fundamentos de Teoria da Computação (2017/02); 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;

Tiago Melo Tannus

Estágio em Docência na disciplina DCC 129 ? Fundamentos de Teoria da Computação (2017/02); 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;

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;

Giuseppe Guilherme Pessoa Santana

Estágio em Docência na disciplina DCC 111 ? Matemática Discreta (2016/01); 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;

Danilo Ferreira e Silva

Estágio em Docência na disciplina DCC 111 ? Matemática Discreta (2015/01); 2015; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

João Borges

Estágio em Docência na disciplina DCC 111 ? Matemática Discreta (2015/01); 2015; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Juliana Padilha

Estágio em Docência na disciplina DCC 004 ? AEDS II (2014/01); 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

João Carlos Abreu Júnior

Estágio em Docência na disciplina DCC 111 ? Matemática Discreta (2014/01); 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Vitor Andrade Almeida de Souza

Estágio em Docência na disciplina DCC 111 ? Matemática Discreta (2014/01); 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Kássio Leonardo da Silva Machado

Estágio em Docência na disciplina DCC 111 ? Matemática Discreta (2014/02); 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Elaine Gouvêa Pimentel

Aspectos Computacionais do Cálculo das Estruturas; 2008; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Elaine Gouvêa Pimentel;

Elaine Gouvêa Pimentel

Lógica Linear e a especificação de sistemas lógicos; 2004; 15 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Elaine Gouvêa Pimentel;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • ALVIM, MÁRIO S. ; CHATZIKOKOLAKIS, KONSTANTINOS ; OLARTE, CARLOS ; VALENCIA, FRANK D. . Catuscia Palamidessi. ACM SIGLOG News , v. 7, p. 47-50, 2020.

  • PIMENTEL, 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.

  • ALVIM, 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.

  • ALVIM, MÁRIO S. ; CHATZIKOKOLAKIS, KONSTANTINOS ; MCIVER, ANNABELLE ; MORGAN, CARROLL ; PALAMIDESSI, CATUSCIA ; SMITH, GEOFFREY . An Axiomatization of Information Flow Measures. THEORETICAL COMPUTER SCIENCE , v. 777, p. 32-54, 2018.

  • 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.

  • 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.

Seção coletada automaticamente pelo Escavador

Outras produções

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.

MARDZIEL, P. ; ALVIM, MÁRIO S. ; HICKS, M. W. . Adversary Gain vs. Defender Loss in Quantified Information Flow. 2014. (Relatório de pesquisa).

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

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).

Seção coletada automaticamente pelo Escavador

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.

Seção coletada automaticamente pelo Escavador

Prêmios

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.

Histórico profissional

Seção coletada automaticamente pelo Escavador

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:

Seção coletada automaticamente pelo Escavador

Experiência profissional

2013 - Atual

Universidade Federal de Minas Gerais

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

2007 - 2007

Universidade Federal de Minas Gerais

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.

2005 - 2006

Universidade Federal de Minas Gerais

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.

2005 - 2005

Universidade Federal de Minas Gerais

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.

2004 - 2004

Universidade Federal de Minas Gerais

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.

2002 - 2003

Universidade Federal de Minas Gerais

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.

2002 - 2002

Universidade Federal de Minas Gerais

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

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Matemática Discreta

  • 08/2014

    Ensino, Matemática Computacional, Nível: Graduação,Disciplinas ministradas, Matemática Discreta

  • 08/2014

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Fundamentos de Teoria da Computação

  • 09/2013

    Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa

  • 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

  • 02/2014 - 06/2014

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Matemática Discreta

  • 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, 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/2006 - 03/2008

    Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa

  • 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

2016 - 2016

Centre de recherche INRIA Saclay - Île-de-France

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.

2011 - 2011

Centre de recherche INRIA Saclay - Île-de-France

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, .,Linhas de pesquisa

2012 - 2013

University of Pennsylvania

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

    Pesquisa e desenvolvimento , David Rittenhouse Laboratory, .,Linhas de pesquisa

2016 - 2016

Ecole Polytechnique

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.

2000 - 2002

Centro Federal de Educação Tecnológica de Minas Gerais

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

  • 01/2001

    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.

2000 - 2001

Atan Sistemas de Automação e Otimização

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 - 09/2001

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

2019 - 2019

Macquarie University

Vínculo: Professor Visitante, Enquadramento Funcional: Honorary Senior Lecturer, Carga horária: 40