Mário S. Alvim

79 papers A* 5A 6B 3C 2Misc 2Journal 40Unranked 17
YearRankTypeTitle / Venue / Authors
2025 J jnl
A new measure for dynamic leakage based on quantitative information flow.
CoRR
Luigi D. C. Soares, Mário S. Alvim, Natasha Fernandes
2025 J jnl
Brazil Data Commons: A Platform for Unifying and Integrating Brazil's Public Data.
CoRR
Isadora Cristina, Ramon G. Gonze, Jônatas Santos, Júlio Cesar dos Reis, Mário S. Alvim, Bernardo Queiroz, Fabrício Benevenuto
2024 J jnl
A Multi-Agent Model for Opinion Evolution under Cognitive Biases.
CoRR
Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia
2024 C conf
A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases.
FORTE
Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia
2024 — conf
Formal Privacy Analyses for Open Banking.
SBMF
Luigi D. C. Soares, Mário S. Alvim, Di Bu, Natasha Fernandes, Yin Liao
2024 J jnl
Opinion Update in a Subjective Logic Model for Social Networks.
CoRR
Mário S. Alvim, Sophia Knight, José C. Oliveira
2024 A* conf
The Privacy-Utility Trade-off in the Topics API.
CCS
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel H. Nunes
2024 J jnl
The Privacy-Utility Trade-off in the Topics API.
CoRR
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel H. Nunes
2023 J jnl
A Formal Model for Polarization under Confirmation Bias in Social Networks.
Log. Methods Comput. Sci.
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2023 A* conf
A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker Products and Quantitative Information Flow.
CCS
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes
2023 — conf
A Quantitative Information Flow Analysis of the Topics API.
WPES@CCS
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes
2023 J jnl
A Quantitative Information Flow Analysis of the Topics API.
CoRR
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes
2023 J jnl
A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow.
CoRR
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes
2023 A conf
Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow.
CSF
Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi
2023 J jnl
Analyzing the Shuffle Model through the Lens of Quantitative Information Flow.
CoRR
Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi
2022 J jnl
A novel reconstruction attack on foreign-trade official statistics, with a Brazilian case study.
CoRR
Danilo Fabrino Favato, Gabriel Coutinho, Mário S. Alvim, Natasha Fernandes
2022 J jnl
A novel reconstruction attack on foreign-trade official statistics, with a Brazilian case study.
Proc. Priv. Enhancing Technol.
Danilo Fabrino Favato, Gabriel Coutinho, Mário S. Alvim, Natasha Fernandes
2022 J jnl
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata.
CoRR
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes
2022 J jnl
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata.
Proc. Priv. Enhancing Technol.
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes
2022 J jnl
How to build high quality L2R training data: Unsupervised compression-based selective sampling for learning to rank.
Inf. Sci.
Rodrigo M. Silva, Guilherme C. M. Gomes, Mário S. Alvim, Marcos André Gonçalves
2022 J jnl
Information Leakage Games: Exploring Information as a Utility Function.
ACM Trans. Priv. Secur.
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2021 J jnl
A Formal Model for Polarization under Confirmation Bias in Social Networks.
CoRR
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2021 J jnl
A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks.
CoRR
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2021 C conf
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks.
FORTE
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2021 J jnl
The Impact of Stationarity, Regularity, and Context on the Predictability of Individual Human Mobility.
ACM Trans. Spatial Algorithms Syst.
Douglas do Couto Teixeira, Aline Carneiro Viana, Jussara M. Almeida, Mário S. Alvim
2020 J jnl
BrazilDAM: A Benchmark dataset for Tailings Dam Detection.
CoRR
Edemir Ferreira, Matheus Brito, Remis Balaniuk, Mário S. Alvim, Jefersson A. dos Santos
2020 J jnl
Catuscia Palamidessi: a journey from logic and concurrency to security and privacy.
ACM SIGLOG News
Mário S. Alvim, Konstantinos Chatzikokolakis, Carlos Olarte, Frank D. Valencia
2020 J jnl
Exploiting semantic relationships for unsupervised expansion of sentiment lexicons.
Inf. Syst.
Felipe Viegas, Mário S. Alvim, Sérgio D. Canuto, Thierson Rosa, Marcos André Gonçalves, Leonardo Rocha
2020 J jnl
Information Leakage Games: Exploring Information as a Utility Function.
CoRR
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2020 B conf
On Privacy and Accuracy in Data Releases (Invited Paper).
CONCUR
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes
2020 J jnl
Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs.
CoRR
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
2020 — book
The Science of Quantitative Information Flow.
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
2019 — conf
A Probabilistic Algorithm to Predict Missing Facts from Knowledge Graphs.
DEXA (1)
André Gonzaga, Mirella M. Moro, Mário S. Alvim
2019 J jnl
An axiomatization of information flow measures.
Theor. Comput. Sci.
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
2019 — conf
Deciphering Predictability Limits in Human Mobility.
SIGSPATIAL/GIS
Douglas do Couto Teixeira, Aline Carneiro Viana, Mário S. Alvim, Jussara M. Almeida
2019 — ed.
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
The Art of Modelling Computational Systems
Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
2019 — conf
Toward a Formal Model for Group Polarization in Social Networks.
The Art of Modelling Computational Systems
Mário S. Alvim, Sophia Knight, Frank Valencia
2018 J jnl
A Comparative Study on Unsupervised Domain Adaptation Approaches for Coffee Crop Mapping.
CoRR
Edemir Ferreira, Mário S. Alvim, Jefersson A. dos Santos
2018 J jnl
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition.
CoRR
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2018 J jnl
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition.
Entropy
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2018 B conf
An Algebraic Approach for Reasoning About Information Flow.
FM
Arthur Américo, Mário S. Alvim, Annabelle McIver
2018 J jnl
An Algebraic Approach for Reasoning About Information Flow.
CoRR
Arthur Américo, Mário S. Alvim, Annabelle McIver
2018 J jnl
Information-Driven Rapidly-Exploring Random Tree for Efficient Environment Exploration.
J. Intell. Robotic Syst.
Jhielson M. Pimentel, Mário S. Alvim, Mario F. M. Campos, Douglas G. Macharet
2018 A conf
Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility.
CSF
Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii
2018 — conf
Leakage and Protocol Composition in a Game-Theoretic Perspective.
POST
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2018 J jnl
Leakage and Protocol Composition in a Game-Theoretic Perspective.
CoRR
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2018 J jnl
Metric-based local differential privacy for statistical applications.
CoRR
Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii
2018 — conf
On the Predictability of a User's Next Check-in Using Data from Different Social Networks.
PredictGIS@SIGSPATIAL
Douglas do Couto Teixeira, Mário S. Alvim, Jussara M. Almeida
2018 A* conf
PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security.
CCS
Mário S. Alvim, Stéphanie Delaune
2018 — ed.
Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018
PLAS@CCS
Mário S. Alvim, Stéphanie Delaune
2017 — conf
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols.
SBMF
Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio Vale Aguiar Campos, Annabelle McIver
2017 — conf
Information Leakage Games.
GameSec
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2017 J jnl
Information Leakage Games.
CoRR
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2017 Misc conf
Modeling Information Flow in Dynamic Information Retrieval.
ICTIR
Felipe Moraes, Mário S. Alvim, Rodrygo L. T. Santos
2017 Misc conf
Proof-Carrying Sensing: Towards Real-World Authentication in Cyber-Physical Systems.
SenSys
Min Wu, Fernando Magno Quintão Pereira, Jie Liu, Heitor S. Ramos, Mário S. Alvim, Leonardo B. Oliveira
2017 — conf
Quantifying Vulnerability of Secret Generation Using Hyper-Distributions.
POST
Mário S. Alvim, Piotr Mardziel, Michael W. Hicks
2017 J jnl
Quantifying vulnerability of secret generation using hyper-distributions (extended version).
CoRR
Mário S. Alvim, Piotr Mardziel, Michael W. Hicks
2016 A conf
Axioms for Information Leakage.
CSF
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
2016 A conf
Compression-Based Selective Sampling for Learning to Rank.
CIKM
Rodrigo M. Silva, Guilherme de Castro Mendes Gomes, Mário S. Alvim, Marcos André Gonçalves
2015 J jnl
On the information leakage of differentially-private mechanisms.
J. Comput. Secur.
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
2014 A conf
Additive and Multiplicative Notions of Leakage, and Their Capacities.
CSF
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
2014 A* conf
Quantifying Information Flow for Dynamic Secrets.
IEEE Symposium on Security and Privacy
Piotr Mardziel, Mário S. Alvim, Michael W. Hicks, Michael R. Clarkson
2014 — conf
When Not All Bits Are Equal: Worth-Based Information Flow.
POST
Mário S. Alvim, Andre Scedrov, Fred B. Schneider
2013 J jnl
Computational Aspects of the Calculus of Structure
CoRR
Mário S. Alvim
2012 A conf
Measuring Information Leakage Using Generalized Gain Functions.
CSF
Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Geoffrey Smith
2012 J jnl
Quantitative information flow in interactive systems.
J. Comput. Secur.
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
2011 — conf
Differential Privacy: On the Trade-Off between Utility and Information Leakage.
Formal Aspects in Security and Trust
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
2011 J jnl
Differential Privacy: on the trade-off between Utility and Information Leakage
CoRR
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
2011 — —
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).
Mário S. Alvim
2011 J jnl
Formal approaches to information hiding: An analysis of interactive systems, statistical disclosure control, and refinement of specifications.
CoRR
Mário S. Alvim
2011 — conf
On the Relation between Differential Privacy and Quantitative Information Flow.
ICALP (2)
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2011 J jnl
On the relation between Differential Privacy and Quantitative Information Flow
CoRR
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2011 — conf
Quantitative Information Flow and Applications to Differential Privacy.
FOSAD
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2010 J jnl
Differential Privacy versus Quantitative Information Flow
CoRR
Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
2010 — conf
Entropy and Attack Models in Information Flow - (Invited Talk).
IFIP TCS
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
2010 B conf
Information Flow in Interactive Systems.
CONCUR
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
2010 — conf
Interactive Information Flow - (Invited Talk).
ARSPA-WITS
Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés
2010 A* conf
Probabilistic Information Flow.
LICS
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
2010 — conf
Safe Equivalences for Security Properties.
IFIP TCS
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum