Mário S. Alvim

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 52

Top Venues

CoRR

CSF

POST

Proc. Priv. Enhancing Technol.

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

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)
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel H. Nunes
The Privacy-Utility Trade-off in the Topics API. CoRR (2024)
Mário S. Alvim, Sophia Knight, José C. Oliveira
Opinion Update in a Subjective Logic Model for Social Networks. CoRR (2024)
Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia
A Multi-Agent Model for Opinion Evolution under Cognitive Biases. CoRR (2024)
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes
A Quantitative Information Flow Analysis of the Topics API. CoRR (2023)
Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi
Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow. CSF (2023)
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes
A Quantitative Information Flow Analysis of the Topics API. WPES@CCS (2023)
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)
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)
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 (2023)
Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi
Analyzing the Shuffle Model through the Lens of Quantitative Information Flow. CoRR (2023)
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) (2022)
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel H. Nunes
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata. CoRR (2022)
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 (2022)
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 (2022)
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel H. Nunes
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata. Proc. Priv. Enhancing Technol. 2022 (4) (2022)
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) (2022)
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
A Formal Model for Polarization under Confirmation Bias in Social Networks. CoRR (2021)
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) (2021)
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 (2021)
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)
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs. CoRR (2020)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
Information Leakage Games: Exploring Information as a Utility Function. CoRR (2020)
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel H. Nunes
On Privacy and Accuracy in Data Releases (Invited Paper). CONCUR (2020)
Edemir Ferreira, Matheus Brito, Remis Balaniuk, Mário S. Alvim, Jefersson A. dos Santos
BrazilDAM: A Benchmark dataset for Tailings Dam Detection. CoRR (2020)
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) (2020)
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 (2020)
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
An axiomatization of information flow measures. Theor. Comput. Sci. 777 (2019)
Douglas do Couto Teixeira, Aline Carneiro Viana, Mário S. Alvim, Jussara M. Almeida
Deciphering Predictability Limits in Human Mobility. SIGSPATIAL/GIS (2019)
André Gonzaga, Mirella M. Moro, Mário S. Alvim
A Probabilistic Algorithm to Predict Missing Facts from Knowledge Graphs. DEXA (1) (2019)
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)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. CoRR (2018)
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)
Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii
Metric-based local differential privacy for statistical applications. CoRR (2018)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
Leakage and Protocol Composition in a Game-Theoretic Perspective. POST (2018)
Mário S. Alvim, Stéphanie Delaune
PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security. CCS (2018)
Arthur Américo, Mário S. Alvim, Annabelle McIver
An Algebraic Approach for Reasoning About Information Flow. FM (2018)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. Entropy 20 (5) (2018)
Arthur Américo, Mário S. Alvim, Annabelle McIver
An Algebraic Approach for Reasoning About Information Flow. CoRR (2018)
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) (2018)
Edemir Ferreira, Mário S. Alvim, Jefersson A. dos Santos
A Comparative Study on Unsupervised Domain Adaptation Approaches for Coffee Crop Mapping. CoRR (2018)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
Leakage and Protocol Composition in a Game-Theoretic Perspective. CoRR (2018)
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)
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)
Felipe Moraes, Mário S. Alvim, Rodrygo L. T. Santos
Modeling Information Flow in Dynamic Information Retrieval. ICTIR (2017)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
Information Leakage Games. CoRR (2017)
Mário S. Alvim, Piotr Mardziel, Michael W. Hicks
Quantifying vulnerability of secret generation using hyper-distributions (extended version). CoRR (2017)
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
Information Leakage Games. GameSec (2017)
Mário S. Alvim, Piotr Mardziel, Michael W. Hicks
Quantifying Vulnerability of Secret Generation Using Hyper-Distributions. POST (2017)
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)
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Axioms for Information Leakage. CSF (2016)
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)
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) (2015)
Mário S. Alvim, Andre Scedrov, Fred B. Schneider
When Not All Bits Are Equal: Worth-Based Information Flow. POST (2014)
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)
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)
Mário S. Alvim
Computational Aspects of the Calculus of Structure CoRR (2013)
Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Geoffrey Smith
Measuring Information Leakage Using Generalized Gain Functions. CSF (2012)
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
Quantitative information flow in interactive systems. J. Comput. Secur. 20 (1) (2012)
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
Quantitative Information Flow and Applications to Differential Privacy. FOSAD (2011)
Mário S. Alvim
Formal approaches to information hiding: An analysis of interactive systems, statistical disclosure control, and refinement of specifications. CoRR (2011)
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
On the relation between Differential Privacy and Quantitative Information Flow CoRR (2011)
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)
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)
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 (2011)
Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés
Interactive Information Flow - (Invited Talk). ARSPA-WITS (2010)
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum
Safe Equivalences for Security Properties. IFIP TCS (2010)
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
Information Flow in Interactive Systems. CONCUR (2010)
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
Entropy and Attack Models in Information Flow - (Invited Talk). IFIP TCS (2010)
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
Probabilistic Information Flow. LICS (2010)
Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
Differential Privacy versus Quantitative Information Flow CoRR (2010)

Mário S. Alvim.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mário S. Alvim