About me

PhD student in Computer Science at Inria, LIX École Polytechnique and the Federal University of Minas Gerais (UFMG) currently studying Quantitative Information Flow (QIF) and a formal model for interpreting privacy as resistance to inferences.

More about QIF: Topete Research Group

Interests
  • Quantitative Information Flow
  • Privacy
  • Differential privacy
  • Information Theory
Education
  • PhD in Computer Science, 2023 - present

    Inria, LIX École Polytechnique

  • PhD in Computer Science, 2023 - present

    Federal University of Minas Gerais (UFMG)

  • MSc in Computer Science, 2020 - 2023

    Federal University of Minas Gerais (UFMG)

  • BSc in Information Systems, 2016 - 2020

    Federal University of Minas Gerais (UFMG)

  • Associate's Degree, Information Technology, 2012 - 2015

    Fundação de Ensino de Contagem (FUNEC)

Education

 
 
 
 
 
Inria, LIX École Polytechnique
PhD in Computer Science
Mar 2023 – Present Palaiseau, France
Studying a formal model for interpreting privacy as resistance to inferences.
 
 
 
 
 
Federal University of Minas Gerais
PhD in Computer Science
Feb 2023 – Present Belo Horizonte, Minas Gerais, Brazil
Studying a formal model for interpreting privacy as resistance to inferences.
 
 
 
 
 
Federal University of Minas Gerais
MSc in Computer Science
Oct 2020 – Jan 2023 Belo Horizonte, Minas Gerais, Brazil

CAPES scholarship at the Graduate Program in Computer Science.

Thesis defended and approved in January 11, 2023, titled A Quantitative Information Flow Model for Attribute-Inference Attacks and Utility in Data Releases by Sampling.

Advised by professor Mário Sérgio Alvim.

Member of the team that executed the PRICE (Privacidade nos Censos Educacionais) project, a cooperation between the Department of Computer Science of UFMG and Inep (Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira). Studied methods to control data disclosure, focused specially in those based in differential privacy. Helped in creating data disclosure alternatives for Inep’s educational census publication.

 
 
 
 
 
Computer Science Department, Federal University of Minas Gerais
BSc in Information Systems
Jan 2016 – Jun 2020 Belo Horizonte, Minas Gerais, Brazil
 
 
 
 
 
Associate’s Degree, Information Technology
Jan 2012 – Dec 2015 Contagem, Minas Gerais, Brazil

Experience

 
 
 
 
 
Inria Saclay - École Polytechnique de Paris
Visiting Scholar
Feb 2022 – Mar 2022 Campus de l'École Polytechnique, Palaiseau, France
Worked in cooperation with Catuscia Palamidessi and Mário Alvim on privacy models, using the framework of Quantitative Information Flow (QIF), to quantify the vulnerability of systems that use differential privacy and shuffling as a privacy protection method.
 
 
 
 
 
Computer Science Department, Universidade Federal de Minas Gerais
Undergradute Researcher
Aug 2017 – Oct 2020 Belo Horizonte, Minas Gerais, Brazil

Worked with privacy and data anonymization techniques (e.g. differential privacy) used to anonymize public datasets, with the goal of balancing the utility and privacy levels of information.

Developed a graphical didatic tool to visualize in a geometric way the behavior of channel leakages when information changes.

 
 
 
 
 
Computer Science Department, Universidade Federal de Minas Gerais
Teaching Assistant
Mar 2017 – Dec 2019 Belo Horizonte, Minas Gerais, Brazil
Helped students to master fundamental concepts of programming. Prepared material for and taught classes in select topics such as digital circuits, basic structures of programming languages and simple algorithms.
 
 
 
 
 
Magnesita Refractories
Computer Technician
Magnesita Refractories
Jan 2015 – Jun 2016 Contagem, Minas Gerais, Brazil
Supported users (employees) to solve problems envolving operation systems, softwares, hardware, network problems and others. The support was given by phone, emails and remote accesses.

Publications

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

Cite

Contact