Mário Sérgio Ferreira Alvim Júnior

2023 - 2024

Pós-Doutorado. , Centre de Recherche Inria Saclay - Île-de-France, INRIA-SACLAY, França. , Bolsista do(a): Inria Saclay, INRIA, França. , Grande área: Ciências Exatas e da Terra, 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: Computação responsável (privacidade, justiça, causalidade).

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.

Inglês

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

Português

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

Francês

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

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.

ALVIM, M. S. ; PALAMIDESSI, C. . 36th IEEE Computer Security Foundations Symposium (CSF 2023) - Co-chair of the special session on quantitative methods for security, in honor of Prof. Geoffrey Smith. 2023. (Outro).

ALVIM, MÁRIO S. ; BARBOSA, H. . 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2022). 2022. (Outro).

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

25th Privacy Enhancing Technologies Symposium (PETS 2025).Membro de comitê de programa.. 2025. (Simpósio).

32nd ACM Conference on Computer and Communications Security (CCS 2025). Membro de comitê de programa.. 2025. (Congresso).

24th Privacy Enhancing Technologies Symposium (PETs 2024).Membro do comitê de programa.. 2024. (Simpósio).

31th ACM Conference on Computer and Communications Security (CCS 2024). Membro do comitê de programa.. 2024. (Congresso).

33rd USENIX Security Symposium (USENIX 2024).Membro do comitê de programa.. 2024. (Simpósio).

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

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

23rd Privacy Enhancing Technologies Symposium (PETs 2023).Membro do comitê de programa.. 2023. (Simpósio).

30th ACM Conference on Computer and Communications Security (CCS 2023). Membro do comitê de programa.. 2023. (Congresso).

36th IEEE Computer Security Foundations Symposium (CSF 2023).Analyzing the Shuffle Model through the Lens of Quantitative Information Flow. 2023. (Simpósio).

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

CA Census Retreat.CA Census Retreat. 2023. (Encontro).

Comète Workshop on Ethical Artificial Intelligence.Round Table on Ethical AI. 2023. (Oficina).

The 32nd USENIX Security Symposium (USENIX 2023).Membro do comitê de programa.. 2023. (Simpósio).

Theory and Practice of Differential Privacy - TPDP 2023.Theory and Practice of Differential Privacy - TPDP 2023. 2023. (Encontro).

XVII Workshop de Trabalhos de Iniciação Científica e de Graduação (WTICG 2023).Membro do comitê de programa.. 2023. (Oficina).

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

17th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2022). 2022. (Oficina).

29th ACM Conference on Computer and Communications Security (CCS 2022). Membro do comitê de programa.. 2022. (Congresso).

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

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

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

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

VI Encontro de Teoria da Computação (ETC 2021).Membro de comitê técnico de programa.. 2021. (Encontro).

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

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

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

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

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

5th International Conference on Information Systems Security and Privacy (ICISSP 2019).Membro de comitê técnico 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 (ICISSP 2018). 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 (SBSeg 2017). 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 (SBSeg 2016). Comitê de Programa. 2016. (Congresso).

1st nternational Conference on Information Systems Security and Privacy (ICISSP 2015). 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 (SBSeg 2015). 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 (FCS-FCC 2014).Comitê de Programa. 2014. (Oficina).

XIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2014). 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).

ALVIM, M. S.GRAAF, J. V.; PALAMIDESSI, C.. A Quantitative lnformation Flow Model for Attribute-lnference Attacks and Utility in Data Releases by Sampling. 2023. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

ALVIM, MÁRIO S.; FERNANDES, N.; PALAMIDESSI, C.. On the relation of privacy and fairness through the lenses of quantitative information flow. 2023. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

PEREIRA, F. M. Q.;ALVIM, MÁRIO S.; ARANHA, D. F.; HACK, S.. Memory-Safe Elimination of Side Channels. 2022. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

ALVIM, MÁRIO S.PIMENTEL, E. G.GRAAF, J. V.; COUTINHO, G. M.. Towards the Quantification of lnformation Leakage for Dynamic Secrets. 2022. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

GRAAF, J. V.; HEVIA, A.; MULLER-QUADE, J.;ALVIM, M. S.. DC-Nets: Novel Collision Resolution Protocol and Rigorous Proofs of Security. 2022. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

BARBOSA, H. M.; PEREIRA, F. M. Q.; RIBEIRO, R. G.;ALVIM, M. S.. Metodologias Reativas para Processamento de Textos Infinitos. 2021. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

COUTINHO, G. M.;ALVIM, M. S.; VALLE, C. A.;GRAAF, J. V.; NEVES, J. B. J.; FERNANDES, N.. Confidential Data Leakage in Brazilian Official Foreign Trade Statistics. 2021. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

COUTINHO, G. M.;ALVIM, M. S.; RODRIGUES, C. F. L.; DRUMOND, R. C.. Pretty Good State Transfer. 2021. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

ALVIM, M. S.; MCLVER, A.; ARANHA, D. F.; COUTINHO, G. M.;GRAAF, J. V.. A formal quantitative study of privacy in the publication of official educational censuses in Brazil. 2021. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

OLIVEIRA, L. B.; GOMES JUNIOR, L. C.; HENRIQUES, M. A. A.;ALVIM, M. S.; CUNHA, I. F. S.. Evaluation of Deep Neural Network Architectures for Authorship Obfuscation of Portuguese Texts. 2020. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

ALMEIDA, JUSSARA; FIGUEIREDO, F. V. D.; SILVA, T. H.; SILVA, A. P. C.;ALVIM, MÁRIO S.. Analyzing And Modeling User Curiosity In Online Information Services. 2024. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

LOUREIRO, A. A. F.; RAMOS, H. S.;ALVIM, MÁRIO S.; CERQUEIRA, E. C.; LIMA, M. N.; OLIVEIRA, L. B. E.; SILVA, F. A.. Smart Privacy: An Anonymization-based Framework for Smart Mobility Open Data. 2024. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

COUCHOT, J.; BOUNA, B. A.; XIAO, X.; NGUYEN, B.; CHRETIEN, S.;Mario S. Alvim; CUNCHE, M.. Production of Categorical Data Verifying Differential Privacy: Conception and Applications to Machine Learning. 2022. Tese (Doutorado em SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques) - Université Bourgogne-Franche-Comté.

GONCALVES, M. A.;ALVIM, MÁRIO S.; SANTOS, R. L. T.; MOURA, E. S.; TORRES, R. S.; CALADO, P. P.. Compression-Based Unsupervised Sampling for Learning to Rank. 2022. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

LOUREIRO, A. A. F.; RAMOS FILHO, H. S.; ORGAMBIDE, A. C. F.; ROSSO, O. A.; BATISTA, T. V.; MELO, P. O. S. V.;ALVIM, M. S.. The Dynamics of Internet of Things. 2021. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

VILELA NETO, O. P.; RIBAS, R. P.; TORRES, F. S.; VIEIRA, L. F. M.;ALVIM, M. S.. Designing Partially Reversible Field-Coupled Nanocomputing Systems. 2020. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

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.

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.

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.

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.

ALMEIDA, JUSSARA; FIGUEIREDO, F. V. D.; SILVA, T. H.; SILVA, A. P. C.;Mário S. Alvim. Analyzing and Modeling User Curiosity in Online Information Services. 2022. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

LOUREIRO, A. A. F.; RAMOS, H. S.; CERQUEIRA, E. C.;ALVIM, M. S.; LIMA, M. N.; OLIVEIRA, L. B.. Smart Privacy: Um Arcabouço de Privacidade Adaptativa para Mobilidade Inteligente. 2020. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

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.

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.

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.

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.

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.

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ÁRIO S.. CNIL-Inria Privacy Protection Award 2025. 2025. CNIL & Inria.

ALVIM, M. S.. CNIL-Inria Privacy Protection Award 2024. 2024. CNIL & Inria.

ALVIM, M. S.. Caspar Bowden PET Award 2023. 2023. Proceedings of Privacy Enhancing Technologies (PoPETS).

ALVIM, MÁRIO S.; DOMINGO-FERRER, J.; FISCHER-HUBNER, S.; GAMBS, S.; GOGA, O.; HANSEN, M.; HOEPMAN, J.; JAMBERT, A.; LAPERDRIX, P.; MOONSAMY, V.; NGUYEN, B.; ANCIAUX, N.; NITHYANAND, R.; PELLEGRINI, F.; TOUBIANA, V.; TRONCOSO, C.; VALLLINA, N.; WUYTS, K.; BELLET, A.; BENENSON, Z.; BIELOVA, N.; BLAZY, O.; CALANDRINO, J.; CUNCHE, M.; DACQUISTO, G.. CNIL-Inria Privacy Protection Award 2023. 2023. CNIL & Inria.

ALVIM, MÁRIO S.; MCIVER, A.; PALAMIDESSI, C.; PAPADIMITRATOS, P.; SAKO, K.; SHOKRI, R.; STRUFE, T.; TALWAR, K.; ANDERSON, R.; BOHME, R.; EGELMAN, S.; FISCHER-HUBNER, S.; GABOARDI, M.; HOEPMAN, J.; HOPPER, N.; KAAFAR, D.. Caspar Bowden PET Award 2022. 2022. Proceedings of Privacy Enhancing Technologies (PoPETS).

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. Programa MINAS MUNDI Programa de Mobilidade Discente Internacional para Graduação da UFMG. 2014. Universidade Federal de Minas Gerais.

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

Formal models for responsible computing; Início: 2025; Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal de Minas Gerais; (Orientador);

Formal methods for fairness; Início: 2024; Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal de Minas Gerais; (Orientador);

A QIF model for the relationship between membership, re-identification, and attribute-inference attacks; Início: 2023; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais; (Orientador);

Formal Methods for Privacy and Utility in Large Datasets; Início: 2022; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Quantitative information flow approaches to statistical disclosure control; Início: 2021; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Formal Methods for Privacy and Fairness; Início: 2021; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

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: 2025; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);

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: 2025; Iniciação científica (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais; (Orientador);

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: 2025; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);

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: 2025; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; (Orientador);

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: 2024; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);

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: 2024; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);

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: 2024; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);

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: 2024; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);

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: 2024; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);

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: 2024; Iniciação científica (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais; (Orientador);

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: 2024; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);

A Quantitative lnformation Flow Model for Attribute-lnference Attacks and Utility in Data Releases by Sampling; 2023; 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;

On the relation of privacy and fairness through the lenses of quantitative information flow; 2023; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Towards the quantification of information leakage for dynamic secrets; 2022; 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;

A formal quantitative study of privacy in the publication of official educational censuses in Brazil; 2021; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Confidential Data Leakage in Brazilian Official Foreign Trade Statistics; 2021; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Coorientador: Mário Sérgio Ferreira Alvim Júnior;

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;

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;

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;

Compression-Based Unsupervised sampling for Learning to Rank; 2022; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, ; Coorientador: Mário Sérgio Ferreira Alvim Júnior;

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;

Relations between Causality, Fairness, Privacy, Accuracy, Information Flow and Explainability in Machine Learning; 2024; 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;

Um aplicativo móvel para álbum de figurinhas astronômico; 2024; 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;

Quantitative Information Flow (QIF): Site moderno e informativo para exploração dos conceitos de QIF; 2023; 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;

Um front-end para LibQIF; 2023; 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;

Exemplos Interativos de Quantitative Information Flow (QIF): Uma Ferramenta de Aprendizado Prático; 2023; 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;

Estudo de Viabilidade de Aplicação de Privacidade Diferencial à Divulgação de Estatísticas Oficiais no Brasil; 2022; 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;

Análise de Riscos à Privacidade de Indivíduos Presentes em Bases de Dados Estatísticas do IBGE; 2022; 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;

Estudo de Estimativa de Sucesso de Re-Identificações em Divulgações Estatisticas Brasileiras; 2022; 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;

Construção de plataforma para divulgação científica sobre fluxo de informação quantitativo; 2022; 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;

A Learning-Based Approach for Correctly Identifying Fully Qualified Names and Dependencies in Code Snippets; 2021; 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;

Revisão da literatura sobre Privacidade Diferencial; 2021; 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;

Análise de Adesão do Currículo de Ciência da Computação da UFMG ao tópico de Segurança da Informação do Currículo ACM&IEEE 201; 2021; 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;

A Case Study Of Differential Privacy And Inep Public Data; 2020; 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;

Análise Técnica Da Aplicação De Privacidade Diferencial No Censo Dos EUA; 2020; 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;

Avaliação quantitativa de smart-meters quanto à invasão de privacidade através do arcabouço 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;

Verificando a corretude dos algoritmos de ordenação com o assistente de provas Coq; 2019; 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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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

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

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

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; 2021; Iniciação Científica; (Graduando em Matemática Computacional) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

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

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

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

Fluxo de informação quantitativo em sistemas computacionais; 2020; Iniciação Científica; (Graduando em Matemática Computacional) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Fluxo de informação quantitativo em sistemas computacionais; 2020; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Fluxo de informação quantitativo em sistemas computacionais; 2019; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Fluxo de informação quantitativo em sistemas computacionais; 2019; Iniciação Científica; (Graduando em Matemática Computacional) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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

Monitoria de graduação na disciplina DCC 638 ? Introdução à Lógica Computacional (2024/2); 2024; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

Monitoria de graduação na disciplina DCC 638 ? Introdução à Lógica Computacional (2024/2); 2024; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

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

Estágio em Docência na disciplina DCC 831/030/049 ? Information Theory (2022/1); 2022; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;

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

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

TED 8750 - PRICE - Privacidade nos Censos Educacionais (Termo de Execução Descentralizada entre o Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira - Inep e a Universidade Federal de Minas Gerais - UFMG); 2021; Orientação de outra natureza; (Matemática Computacional) - Universidade Federal de Minas Gerais, Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira; Orientador: Mário Sérgio Ferreira Alvim Júnior;

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

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

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

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

TED 8750 - PRICE - Privacidade nos Censos Educacionais (Termo de Execução Descentralizada entre o Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira - Inep e a Universidade Federal de Minas Gerais - UFMG); 2020; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais, Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira; Orientador: Mário Sérgio Ferreira Alvim Júnior;

TED 8750 - PRICE - Privacidade nos Censos Educacionais (Termo de Execução Descentralizada entre o Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira - Inep e a Universidade Federal de Minas Gerais - UFMG); 2020; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais, Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira; Orientador: Mário Sérgio Ferreira Alvim Júnior;

TED 8750 - PRICE - Privacidade nos Censos Educacionais (Termo de Execução Descentralizada entre o Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira - Inep e a Universidade Federal de Minas Gerais - UFMG); 2020; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Minas Gerais, Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira; Orientador: Mário Sérgio Ferreira Alvim Júnior;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

ALVIM, MÁRIO S. ; ARAUJO, L. C. ; CABRAL, G. A. . BHBUSca: Sistema de Informações Sobre Transporte Público Urbano. 2000.

Mário S. Alvim ; GONZE, R. G. ; GRAAF, J. V. ; LEMES, I. W. ; LOPES, L. ; NUNES, G. H. . TED 8750 - Produto 04: Solução tecnológica e sua documentação. 2021.

Mário S. Alvim ; GONZE, R. G. ; GRAAF, J. V. ; LEMES, I. W. ; LOPES, L. ; NUNES, G. H. . TED 8750 - Produto 05: Relatório técnico final do projeto piloto. 2021.

Mário S. Alvim ; GONZE, R. G. ; GRAAF, J. V. ; LEMES, I. W. ; LOPES, L. ; NUNES, G. H. . TED 8750 - Produto 06: Relatório técnico de implantação. 2021.

Mário S. Alvim ; GRAAF, J. V. ; NUNES, G. H. ; GONZE, R. G. ; LOPES, L. ; LEMES, I. W. . TED 8750 - Produto 07: Relatório de operação assistida.. 2021.

Mário S. Alvim ; GRAAF, J. V. ; NUNES, G. H. ; GONZE, R. G. ; LOPES, L. ; LEMES, I. W. . TED 8750 - Produto 08: Relatório de encerramento do projeto. 2021.

ALVIM, MÁRIO S. ; GONZE, R. G. ; GRAAF, J. V. ; NUNES, G. H. . TED 8750 - Produto 01: Relatório sobre o panorama internacional e o contexto do Inep a respeito dos métodos de tratamento de controle de privacidade na divulgação estatística. 2020.

ALVIM, M. S. ; GONZE, R. G. ; GRAAF, J. V. ; LEMES, I. W. ; LOPES, L. . TED 8750 - Produto 03: Relatório técnico sobre métodos de tratamento aplicáveis aos microdados de divulgação dos Censos Educacionais do Inep. 2020.

Mário S. Alvim ; GONZE, R. G. ; GRAAF, J. V. ; LEMES, I. W. ; NUNES, G. H. . TED 8750 - Produto 02: Relatório sobre os riscos à privacidade decorrentes da atual forma de divulgação dos microdados dos Censos Educacionais do Inep. 2020.

ALVIM, MÁRIO S. . 25th Privacy Enhancing Technologies Symposium (PETS 2025). 2025. (Comitê Técnico de Programa).

ALVIM, MÁRIO S. . 32nd ACM Conference on Computer and Communications Security (CCS 2025). 2025. (Comitê Técnico de Programa).

ALVIM, MÁRIO S. . The 33rd USENIX Security Symposium (USENIX 2024). 2024. (Comitê Técnico de Programa).

ALVIM, M. S. . 31th ACM Conference on Computer and Communications Security (CCS 2024). 2024. (Comitê Técnico de Programa).

ALVIM, M. S. . 37th IEEE Computer Security Foundations Symposium (CSF 2024). 2024. (Comitê Técnico de Programa).

ALVIM, MÁRIO S. . 24th Privacy Enhancing Technologies Symposium (PETS 2024). 2024. (Comitê Técnico de Programa).

Mario S. Alvim . XXIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2024). 2024. (Comitê Técnico de Programa).

ALVIM, M. S. . The 32nd USENIX Security Symposium (USENIX 2023). 2023. (Comitê Técnico de Programa).

ALVIM, M. S. . 36th IEEE Computer Security Foundations Symposium (CSF 2023). 2023. (Comitê Técnico de Programa).

ALVIM, M. S. . 30th ACM Conference on Computer and Communications Security (CCS 2023). 2023. (Comitê Técnico de Programa).

ALVIM, M. S. . 23rd Privacy Enhancing Technologies Symposium (PETs 2023). 2023. (Comitê Técnico de Programa).

ALVIM, M. S. . XXIII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2023). 2023. (Comitê Técnico de Programa).

Mario S. Alvim . XVII Workshop de Trabalhos de Iniciação Científica e de Graduação (WTICG 2023). 2023. (Comitê Técnico de Programa).

ALVIM, MÁRIO S. . 29th ACM Conference on Computer and Communications Security (CCS 2022). 2022. (Comitê Técnico de Programa).

ALVIM, MÁRIO S. . 35th IEEE Computer Security Foundations Symposium (CSF 2022). 2022. (Comitê Técnico de Programa).

Mario S. Alvim . 8th International Conference on Information Systems Security and Privacy (ICISSP 2022). 2022. (Comitê Técnico de Programa).

ALVIM, MÁRIO S. . XXII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2022). 2022. (Comitê Técnico de Programa).

Mário S. Alvim . 21st Privacy Enhancing Technologies Symposium (PETs 2021). 2021. (Comitê Técnico de Programa).

Mário S. Alvim . 34th IEEE Computer Security Foundations Symposium (CSF 2021). 2021. (Comitê Técnico de Programa).

Mário S. Alvim . 7th International Conference on Information Systems Security and Privacy (ICISSP 2021). 2021. (Comitê Técnico de Programa).

ALVIM, M. S. . VI Encontro de Teoria da Computação (ETC 2021). 2021. (Comitê Técnico de Programa).

ALVIM, M. S. . XXI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2021). 2021. (Comitê Técnico de Programa).

Mário S. Alvim . 6th International Conference on Information Systems Security and Privacy (ICISSP 2020). 2020. (Comitê Técnico de Programa).

Mário S. Alvim . V Encontro de Teoria da Computação (ETC 2020). 2020. (Comitê Técnico de Programa).

Mário S. Alvim . The 20th Privacy Enhancing Technologies Symposium (PETs 2020). 2020. (Comitê Técnico de Programa).

Mário S. Alvim . XX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2020). 2020. (Comitê Técnico de Programa).

Mário S. Alvim ; CHATZIKOKOLAKIS, KONSTANTINOS ; OLARTE, CARLOS ; VALENCIA, F. . The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. 2019. (Editoração/Anais).

Mário S. Alvim . 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods (FM 2019). 2019. (Comitê Técnico de Programa).

Mário S. Alvim . The 19th Privacy Enhancing Technologies Symposium (PETs 2019). 2019. (Comitê Técnico de Programa).

Mário S. Alvim . Workshop Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. 2019. (Comitê Técnico de Programa).

Mário S. Alvim . XIX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2019). 2019. (Comitê Técnico de Programa).

Mário S. Alvim . 5th International Conference on Information Systems Security and Privacy (ICISSP 2019). 2019. (Comitê Técnico de Programa).

ALVIM, MÁRIO S. ; DELAUNE, S. . PLAS '18: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security. 2018. (Editoração/Anais).

Mário S. Alvim . 13th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2018). 2018. (Comitê Técnico de Programa).

Mário S. Alvim . 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018). 2018. (Comitê Técnico de Programa).

Mário S. Alvim . 15th International Conference on Quantitative Evaluation of Systems (QEST 2018). 2018. (Comitê Técnico de Programa).

Mário S. Alvim . 31st IEEE Computer Security Foundations Symposium (CSF 2018). 2018. (Comitê Técnico de Programa).

Mário S. Alvim . 4th International Conference on Information Systems Security and Privacy (ICISSP 2018). 2018. (Comitê Técnico de Programa).

Mário S. Alvim . The 18th Privacy Enhancing Technologies Symposium (PETS 2018). 2018. (Comitê Técnico de Programa).

Mário S. Alvim . Workshop on Cyber Security in Connected Devices (WSCDC 2018). 2018. (Comitê Técnico de Programa).

Mário S. Alvim . XVIII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2018). 2018. (Comitê Técnico de Programa).

Mário S. Alvim . 3rd International Conference on Information Systems Security and Privacy (ICISSP 2017). 2017. (Comitê Técnico de Programa).

Mário S. Alvim . ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS 2017). 2017. (Comitê Técnico de Programa).

Mário S. Alvim . XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2017). 2017. (Comitê Técnico de Programa).

Mário S. Alvim . Workshop on Foundations of Computer Security (FCS 2017). 2017. (Comitê Técnico de Programa).

Mário S. Alvim . 2nd International Conference on Information Systems Security and Privacy (ICISSP 2016). 2016. (Comitê Técnico de Programa).

Mário S. Alvim . XVI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2016). 2016. (Comitê Técnico de Programa).

Mário S. Alvim . 1st nternational Conference on Information Systems Security and Privacy (ICISSP 2015). 2015. (Comitê Técnico de Programa).

Mário S. Alvim . 8th Interaction and Concurrency Experience (ICE 2015). 2015. (Comitê Técnico de Programa).

Mário S. Alvim . XV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2015). 2015. (Comitê Técnico de Programa).

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

Mário S. Alvim . Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography (FCS-FCC 2014). 2014. (Comitê Técnico de Programa).

Mário S. Alvim . XIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2014). 2014. (Comitê Técnico de Programa).

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

2024

Test of Time Awards for the paper "Measuring Information Leakage Using Generalized Gain Functions", IEEE Conputer Security Foundations Symposium (CSF 2024).

2024

Google Academic Research Awards 2024, Google Research.

2023

Best Paper on the International Conference on AI and the Digital Economy (CADE 2023), IEEE.

2023

Visiting Researcher, Inria Saclay and École Polytechnique.

2022

9th Google Latin America Research Awards (Google LARA 2022), Google Research.

2019

Visiting Professor, Macquarie University - Department of Computing.

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.