A formal quantitative study of privacy in the publication of official educational censuses in Brazil

Gabriel H. Nunes; Mário S. Alvim; Annabelle McIver

doi:10.5753/ctd.2022.223158

A formal quantitative study of privacy in the publication of official educational censuses in Brazil

Gabriel H. Nunes, Mário S. Alvim, Annabelle McIver

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

Abstract

We present a summary of the work done in the dissertation "A formal quantitative study of privacy in the publication of official educational censuses in Brazil", including its contributions and impacts so far. The dissertation presents a systematic refactoring of the conventional treatment of privacy analyses, based on mathematical concepts from the framework of Quantitative Information Flow (QIF). This brings three principal advantages: flexibility, allowing for precise quantification and comparison of privacy risks for attacks both known and novel; computational tractability for very large, longitudinal datasets; and explainable results both to politicians and to the general public. We apply our approach to a very large case study: the educational censuses in Brazil, which comprise over 90 attributes of approximately 50 million individuals released longitudinally every year since 2007.

Original language	English
Title of host publication	Proceedings of the 35th Thesis and Dissertation Contest (CTD 2022)
Place of Publication	Porto Alegre
Publisher	Sociedade Brasileira de Computacao
Pages	61-70
DOIs	https://doi.org/10.5753/ctd.2022.223158
Publication status	Published - 2022
Event	XXXV Concurso de Teses e Dissertações - XLII Congresso da Sociedade Brasileira de Computação (CSBC 2022), Niterói, Brazil Duration: 31 Jul 2022 → 5 Aug 2022 Conference number: 2022 https://sol.sbc.org.br/index.php/ctd/issue/view/953

Publication series

Name
ISSN (Electronic)	2763-8820

Conference

Conference	XXXV Concurso de Teses e Dissertações
Abbreviated title	CTD
Country/Territory	Brazil
City	Niterói
Period	31/07/22 → 5/08/22
Internet address	https://sol.sbc.org.br/index.php/ctd/issue/view/953

Access to Document

10.5753/ctd.2022.223158Licence: Unspecified

Cite this

@inproceedings{e3a35361b6614abfabcd60417b192d95,

title = "A formal quantitative study of privacy in the publication of official educational censuses in Brazil",

abstract = "We present a summary of the work done in the dissertation {"}A formal quantitative study of privacy in the publication of official educational censuses in Brazil{"}, including its contributions and impacts so far. The dissertation presents a systematic refactoring of the conventional treatment of privacy analyses, based on mathematical concepts from the framework of Quantitative Information Flow (QIF). This brings three principal advantages: flexibility, allowing for precise quantification and comparison of privacy risks for attacks both known and novel; computational tractability for very large, longitudinal datasets; and explainable results both to politicians and to the general public. We apply our approach to a very large case study: the educational censuses in Brazil, which comprise over 90 attributes of approximately 50 million individuals released longitudinally every year since 2007.",

author = "Nunes, {Gabriel H.} and Alvim, {M{\'a}rio S.} and Annabelle McIver",

year = "2022",

doi = "10.5753/ctd.2022.223158",

language = "English",

publisher = "Sociedade Brasileira de Computacao",

pages = "61--70",

booktitle = "Proceedings of the 35th Thesis and Dissertation Contest (CTD 2022)",

address = "Brazil",

note = "XXXV Concurso de Teses e Disserta{\c c}{\~o}es, CTD ; Conference date: 31-07-2022 Through 05-08-2022",

url = "https://sol.sbc.org.br/index.php/ctd/issue/view/953",

}

Nunes, GH, Alvim, MS & McIver, A 2022, A formal quantitative study of privacy in the publication of official educational censuses in Brazil. in Proceedings of the 35th Thesis and Dissertation Contest (CTD 2022). Sociedade Brasileira de Computacao, Porto Alegre, pp. 61-70, XXXV Concurso de Teses e Dissertações, Niterói, Brazil, 31/07/22. https://doi.org/10.5753/ctd.2022.223158

A formal quantitative study of privacy in the publication of official educational censuses in Brazil. / Nunes, Gabriel H.; Alvim, Mário S.; McIver, Annabelle.
Proceedings of the 35th Thesis and Dissertation Contest (CTD 2022). Porto Alegre: Sociedade Brasileira de Computacao, 2022. p. 61-70.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - A formal quantitative study of privacy in the publication of official educational censuses in Brazil

AU - Nunes, Gabriel H.

AU - Alvim, Mário S.

AU - McIver, Annabelle

N1 - Conference code: 2022

PY - 2022

Y1 - 2022

N2 - We present a summary of the work done in the dissertation "A formal quantitative study of privacy in the publication of official educational censuses in Brazil", including its contributions and impacts so far. The dissertation presents a systematic refactoring of the conventional treatment of privacy analyses, based on mathematical concepts from the framework of Quantitative Information Flow (QIF). This brings three principal advantages: flexibility, allowing for precise quantification and comparison of privacy risks for attacks both known and novel; computational tractability for very large, longitudinal datasets; and explainable results both to politicians and to the general public. We apply our approach to a very large case study: the educational censuses in Brazil, which comprise over 90 attributes of approximately 50 million individuals released longitudinally every year since 2007.

AB - We present a summary of the work done in the dissertation "A formal quantitative study of privacy in the publication of official educational censuses in Brazil", including its contributions and impacts so far. The dissertation presents a systematic refactoring of the conventional treatment of privacy analyses, based on mathematical concepts from the framework of Quantitative Information Flow (QIF). This brings three principal advantages: flexibility, allowing for precise quantification and comparison of privacy risks for attacks both known and novel; computational tractability for very large, longitudinal datasets; and explainable results both to politicians and to the general public. We apply our approach to a very large case study: the educational censuses in Brazil, which comprise over 90 attributes of approximately 50 million individuals released longitudinally every year since 2007.

U2 - 10.5753/ctd.2022.223158

DO - 10.5753/ctd.2022.223158

M3 - Conference proceeding contribution

SP - 61

EP - 70

BT - Proceedings of the 35th Thesis and Dissertation Contest (CTD 2022)

PB - Sociedade Brasileira de Computacao

CY - Porto Alegre

T2 - XXXV Concurso de Teses e Dissertações

Y2 - 31 July 2022 through 5 August 2022

ER -