default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMário S. Alvim
Mário Sérgio Alvim
Person information
- affiliation: Federal University of Minas Gerais, Belo Horizonte, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c36]Mário S. Alvim, Natasha Fernandes
, Annabelle McIver, Gabriel H. Nunes:
The Privacy-Utility Trade-off in the Topics API. CCS 2024: 1106-1120- [c35]Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia:
A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases. FORTE 2024: 3-19 - [c34]Luigi Soares, Mário S. Alvim, Di Bu, Natasha Fernandes, Yin Liao:
Formal Privacy Analyses for Open Banking. SBMF 2024: 171-193 - [i25]Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia:
A Multi-Agent Model for Opinion Evolution under Cognitive Biases. CoRR abs/2402.17615 (2024) - [i24]Mário S. Alvim, Sophia Knight, José C. Oliveira:
Opinion Update in a Subjective Logic Model for Social Networks. CoRR abs/2404.14789 (2024) - [i23]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel H. Nunes:
The Privacy-Utility Trade-off in the Topics API. CoRR abs/2406.15309 (2024) - 2023
- [j13]Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia:
A Formal Model for Polarization under Confirmation Bias in Social Networks. Log. Methods Comput. Sci. 19(1) (2023) - [c33]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes:
A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker Products and Quantitative Information Flow. CCS 2023: 1718-1731 - [c32]Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi:
Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow. CSF 2023: 423-438 - [c31]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes:
A Quantitative Information Flow Analysis of the Topics API. WPES@CCS 2023: 123-127 - [i22]Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi:
Analyzing the Shuffle Model through the Lens of Quantitative Information Flow. CoRR abs/2305.13075 (2023) - [i21]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes:
A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow. CoRR abs/2308.11110 (2023) - [i20]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes:
A Quantitative Information Flow Analysis of the Topics API. CoRR abs/2309.14746 (2023) - 2022
- [j12]Rodrigo M. Silva, Guilherme C. M. Gomes, Mário S. Alvim, Marcos André Gonçalves:
How to build high quality L2R training data: Unsupervised compression-based selective sampling for learning to rank. Inf. Sci. 601: 90-113 (2022) - [j11]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes:
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata. Proc. Priv. Enhancing Technol. 2022(4): 378-399 (2022) - [j10]Danilo Fabrino Favato, Gabriel Coutinho, Mário S. Alvim, Natasha Fernandes:
A novel reconstruction attack on foreign-trade official statistics, with a Brazilian case study. Proc. Priv. Enhancing Technol. 2022(4): 608-625 (2022) - [j9]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Information Leakage Games: Exploring Information as a Utility Function. ACM Trans. Priv. Secur. 25(3): 20:1-20:36 (2022) - [i19]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes:
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata. CoRR abs/2204.13734 (2022) - [i18]Danilo Fabrino Favato, Gabriel Coutinho, Mário S. Alvim, Natasha Fernandes:
A novel reconstruction attack on foreign-trade official statistics, with a Brazilian case study. CoRR abs/2206.06493 (2022) - 2021
- [j8]Douglas do Couto Teixeira, Aline Carneiro Viana, Jussara M. Almeida, Mário S. Alvim:
The Impact of Stationarity, Regularity, and Context on the Predictability of Individual Human Mobility. ACM Trans. Spatial Algorithms Syst. 7(4): 19:1-19:24 (2021) - [c30]Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia:
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks. FORTE 2021: 22-41 - [i17]Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia:
A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks. CoRR abs/2104.11538 (2021) - [i16]Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia:
A Formal Model for Polarization under Confirmation Bias in Social Networks. CoRR abs/2112.09542 (2021) - 2020
- [b2]Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
The Science of Quantitative Information Flow. Information Security and Cryptography, Springer 2020, ISBN 978-3-319-96129-3, pp. I-XXVIII, 1-478 - [j7]Felipe Viegas, Mário S. Alvim, Sérgio D. Canuto, Thierson Rosa, Marcos André Gonçalves, Leonardo Rocha:
Exploiting semantic relationships for unsupervised expansion of sentiment lexicons. Inf. Syst. 94: 101606 (2020) - [j6]Mário S. Alvim, Konstantinos Chatzikokolakis, Carlos Olarte, Frank D. Valencia:
Catuscia Palamidessi: a journey from logic and concurrency to security and privacy. ACM SIGLOG News 7(1): 47-50 (2020) - [c29]Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes:
On Privacy and Accuracy in Data Releases (Invited Paper). CONCUR 2020: 1:1-1:18 - [i15]Edemir Ferreira, Matheus Brito, Remis Balaniuk, Mário S. Alvim, Jefersson A. dos Santos:
BrazilDAM: A Benchmark dataset for Tailings Dam Detection. CoRR abs/2003.07948 (2020) - [i14]Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia:
Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs. CoRR abs/2012.02703 (2020) - [i13]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Information Leakage Games: Exploring Information as a Utility Function. CoRR abs/2012.12060 (2020)
2010 – 2019
- 2019
- [j5]Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
An axiomatization of information flow measures. Theor. Comput. Sci. 777: 32-54 (2019) - [c28]Mário S. Alvim, Sophia Knight, Frank Valencia:
Toward a Formal Model for Group Polarization in Social Networks. The Art of Modelling Computational Systems 2019: 419-441 - [c27]André Gonzaga, Mirella M. Moro, Mário S. Alvim:
A Probabilistic Algorithm to Predict Missing Facts from Knowledge Graphs. DEXA (1) 2019: 149-158 - [c26]Douglas do Couto Teixeira, Aline Carneiro Viana, Mário S. Alvim, Jussara M. Almeida:
Deciphering Predictability Limits in Human Mobility. SIGSPATIAL/GIS 2019: 52-61 - [e2]Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia:
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Lecture Notes in Computer Science 11760, Springer 2019, ISBN 978-3-030-31174-2 [contents] - 2018
- [j4]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. Entropy 20(5): 382 (2018) - [j3]Jhielson M. Pimentel, Mário S. Alvim, Mario F. M. Campos, Douglas G. Macharet:
Information-Driven Rapidly-Exploring Random Tree for Efficient Environment Exploration. J. Intell. Robotic Syst. 91(2): 313-331 (2018) - [c25]Mário S. Alvim, Stéphanie Delaune:
PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security. CCS 2018: 2178-2179 - [c24]Edemir Ferreira, Hugo N. Oliveira, Mário Sérgio Alvim, Jefersson Alex dos Santos:
A Comparative Study on Unsupervised Domain Adaptation for Coffee Crop Mapping. CIARP 2018: 72-80 - [c23]Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii:
Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility. CSF 2018: 262-267 - [c22]Arthur Américo, Mário S. Alvim, Annabelle McIver:
An Algebraic Approach for Reasoning About Information Flow. FM 2018: 55-72 - [c21]Douglas do Couto Teixeira, Mário S. Alvim, Jussara M. Almeida:
On the Predictability of a User's Next Check-in Using Data from Different Social Networks. PredictGIS@SIGSPATIAL 2018: 8-14 - [c20]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Leakage and Protocol Composition in a Game-Theoretic Perspective. POST 2018: 134-159 - [e1]Mário S. Alvim, Stéphanie Delaune:
Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018. ACM 2018, ISBN 978-1-4503-5993-1 [contents] - [i12]Arthur Américo, Mário S. Alvim, Annabelle McIver:
An Algebraic Approach for Reasoning About Information Flow. CoRR abs/1801.08090 (2018) - [i11]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Leakage and Protocol Composition in a Game-Theoretic Perspective. CoRR abs/1802.10465 (2018) - [i10]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. CoRR abs/1803.10042 (2018) - [i9]Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii:
Metric-based local differential privacy for statistical applications. CoRR abs/1805.01456 (2018) - [i8]Edemir Ferreira, Mário S. Alvim, Jefersson A. dos Santos:
A Comparative Study on Unsupervised Domain Adaptation Approaches for Coffee Crop Mapping. CoRR abs/1806.02400 (2018) - 2017
- [c19]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Information Leakage Games. GameSec 2017: 437-457 - [c18]Felipe Moraes, Mário S. Alvim, Rodrygo L. T. Santos:
Modeling Information Flow in Dynamic Information Retrieval. ICTIR 2017: 305-308 - [c17]Mário S. Alvim, Piotr Mardziel, Michael W. Hicks:
Quantifying Vulnerability of Secret Generation Using Hyper-Distributions. POST 2017: 26-48 - [c16]Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio Vale Aguiar Campos, Annabelle McIver:
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. SBMF 2017: 142-158 - [c15]Min Wu, Fernando Magno Quintão Pereira, Jie Liu, Heitor S. Ramos, Mário S. Alvim, Leonardo B. Oliveira:
Proof-Carrying Sensing: Towards Real-World Authentication in Cyber-Physical Systems. SenSys 2017: 22:1-22:6 - [i7]Mário S. Alvim, Piotr Mardziel, Michael W. Hicks:
Quantifying vulnerability of secret generation using hyper-distributions (extended version). CoRR abs/1701.04174 (2017) - [i6]Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Information Leakage Games. CoRR abs/1705.05030 (2017) - 2016
- [c14]Rodrigo M. Silva, Guilherme de Castro Mendes Gomes, Mário S. Alvim, Marcos André Gonçalves:
Compression-Based Selective Sampling for Learning to Rank. CIKM 2016: 247-256 - [c13]Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
Axioms for Information Leakage. CSF 2016: 77-92 - 2015
- [j2]Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi:
On the information leakage of differentially-private mechanisms. J. Comput. Secur. 23(4): 427-469 (2015) - 2014
- [c12]Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
Additive and Multiplicative Notions of Leakage, and Their Capacities. CSF 2014: 308-322 - [c11]Mário S. Alvim, Andre Scedrov, Fred B. Schneider:
When Not All Bits Are Equal: Worth-Based Information Flow. POST 2014: 120-139 - [c10]Piotr Mardziel, Mário S. Alvim, Michael W. Hicks, Michael R. Clarkson:
Quantifying Information Flow for Dynamic Secrets. IEEE Symposium on Security and Privacy 2014: 540-555 - 2013
- [i5]Mário S. Alvim:
Computational Aspects of the Calculus of Structure. CoRR abs/1301.4910 (2013) - 2012
- [j1]Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi:
Quantitative information flow in interactive systems. J. Comput. Secur. 20(1): 3-50 (2012) - [c9]Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Geoffrey Smith:
Measuring Information Leakage Using Generalized Gain Functions. CSF 2012: 265-279 - 2011
- [b1]Mário S. Alvim:
Formal approaches to information hiding : An analysis of interactive systems, statistical disclosure control, and refinement of specifications. (Des approches formelles pour le cachement d'information: Une analyse des systèmes interactifs, contrôle de divulgation statistique, et le raffinement des spécifications). École Polytechnique, Palaiseau, France, 2011 - [c8]Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Quantitative Information Flow and Applications to Differential Privacy. FOSAD 2011: 211-230 - [c7]Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
On the Relation between Differential Privacy and Quantitative Information Flow. ICALP (2) 2011: 60-76 - [c6]Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi:
Differential Privacy: On the Trade-Off between Utility and Information Leakage. Formal Aspects in Security and Trust 2011: 39-54 - [i4]Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi:
Differential Privacy: on the trade-off between Utility and Information Leakage. CoRR abs/1103.5188 (2011) - [i3]Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
On the relation between Differential Privacy and Quantitative Information Flow. CoRR abs/1109.6761 (2011) - [i2]Mário S. Alvim:
Formal approaches to information hiding: An analysis of interactive systems, statistical disclosure control, and refinement of specifications. CoRR abs/1111.3013 (2011) - 2010
- [c5]Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi:
Information Flow in Interactive Systems. CONCUR 2010: 102-116 - [c4]Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés:
Interactive Information Flow - (Invited Talk). ARSPA-WITS 2010: 111 - [c3]Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi:
Entropy and Attack Models in Information Flow - (Invited Talk). IFIP TCS 2010: 53-54 - [c2]Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum:
Safe Equivalences for Security Properties. IFIP TCS 2010: 55-70 - [c1]Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi:
Probabilistic Information Flow. LICS 2010: 314-321 - [i1]Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi:
Differential Privacy versus Quantitative Information Flow. CoRR abs/1012.4250 (2010)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
