Publications

Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi (2023). Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow. 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023.

Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi (2023). Analyzing the Shuffle Model through the Lens of Quantitative Information Flow. CoRR.

Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes (2023). A Quantitative Information Flow Analysis of the Topics API. CoRR.

Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes (2023). A Quantitative Information Flow Analysis of the Topics API. Proceedings of the 22nd Workshop on Privacy in the Electronic Society, WPES 2023, Copenhagen, Denmark, 26 November 2023.

Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes (2023). A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker Products and Quantitative Information Flow. Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023.

Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes (2023). A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow. CoRR.

Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia (2023). A Formal Model for Polarization under Confirmation Bias in Social Networks. Log. Methods Comput. Sci..

Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi (2022). Information Leakage Games: Exploring Information as a Utility Function. ACM Trans. Priv. Secur..

Rodrigo M. Silva, Guilherme C. M. Gomes, Mário S. Alvim, Marcos André Gonçalves (2022). How to build high quality L2R training data: Unsupervised compression-based selective sampling for learning to rank. Inf. Sci..

Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes (2022). 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). Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata. CoRR.

Danilo Fabrino Favato, Gabriel Coutinho, Mário S. Alvim, Natasha Fernandes (2022). 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). A novel reconstruction attack on foreign-trade official statistics, with a Brazilian case study. CoRR.

Douglas do Couto Teixeira, Aline Carneiro Viana, Jussara M. Almeida, Mário S. Alvim (2021). The Impact of Stationarity, Regularity, and Context on the Predictability of Individual Human Mobility. ACM Trans. Spatial Algorithms Syst..

Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia (2021). 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). A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks. Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings.

Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia (2021). A Formal Model for Polarization under Confirmation Bias in Social Networks. CoRR.

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith (2020). The Science of Quantitative Information Flow. Springer.

Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia (2020). Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs. CoRR.

Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes (2020). On Privacy and Accuracy in Data Releases (Invited Paper). 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference).

Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi (2020). Information Leakage Games: Exploring Information as a Utility Function. CoRR.

Felipe Viegas, Mário S. Alvim, Sérgio D. Canuto, Thierson Rosa, Marcos André Gonçalves, Leonardo Rocha (2020). Exploiting semantic relationships for unsupervised expansion of sentiment lexicons. Inf. Syst..

Mário S. Alvim, Konstantinos Chatzikokolakis, Carlos Olarte, Frank D. Valencia (2020). Catuscia Palamidessi: a journey from logic and concurrency to security and privacy. ACM SIGLOG News.

Edemir Ferreira, Matheus Brito, Remis Balaniuk, Mário S. Alvim, Jefersson A. dos Santos (2020). BrazilDAM: A Benchmark dataset for Tailings Dam Detection. CoRR.

Mário S. Alvim, Sophia Knight, Frank Valencia (2019). Toward a Formal Model for Group Polarization in Social Networks. 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.

Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (2019). 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. Springer.

Douglas do Couto Teixeira, Aline Carneiro Viana, Mário S. Alvim, Jussara M. Almeida (2019). Deciphering Predictability Limits in Human Mobility. Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL 2019, Chicago, IL, USA, November 5-8, 2019.

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith (2019). An axiomatization of information flow measures. Theor. Comput. Sci..

André Gonzaga, Mirella M. Moro, Mário S. Alvim (2019). A Probabilistic Algorithm to Predict Missing Facts from Knowledge Graphs. Database and Expert Systems Applications - 30th International Conference, DEXA 2019, Linz, Austria, August 26-29, 2019, Proceedings, Part I.

Mário S. Alvim, Stéphanie Delaune (2018). Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018. ACM.

Mário S. Alvim, Stéphanie Delaune (2018). PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security. Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018.

Douglas do Couto Teixeira, Mário S. Alvim, Jussara M. Almeida (2018). On the Predictability of a User's Next Check-in Using Data from Different Social Networks. Proceedings of the 2nd ACM SIGSPATIAL Workshop on Prediction of Human Mobility, PredictGIS 2018, Seattle, WA, USA, November 6, 2018.

Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii (2018). Metric-based local differential privacy for statistical applications. CoRR.

Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi (2018). Leakage and Protocol Composition in a Game-Theoretic Perspective. CoRR.

Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi (2018). Leakage and Protocol Composition in a Game-Theoretic Perspective. Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings.

Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii (2018). Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility. 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018.

Jhielson M. Pimentel, Mário S. Alvim, Mario F. M. Campos, Douglas G. Macharet (2018). Information-Driven Rapidly-Exploring Random Tree for Efficient Environment Exploration. J. Intell. Robotic Syst..

Arthur Américo, Mário S. Alvim, Annabelle McIver (2018). An Algebraic Approach for Reasoning About Information Flow. CoRR.

Arthur Américo, Mário S. Alvim, Annabelle McIver (2018). An Algebraic Approach for Reasoning About Information Flow. Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings.

Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi (2018). A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. Entropy.

Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi (2018). A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. CoRR.

Edemir Ferreira, Hugo N. Oliveira, Mário Sérgio Alvim, Jefersson Alex dos Santos (2018). A Comparative Study on Unsupervised Domain Adaptation for Coffee Crop Mapping. Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings.

Edemir Ferreira, Mário S. Alvim, Jefersson A. dos Santos (2018). A Comparative Study on Unsupervised Domain Adaptation Approaches for Coffee Crop Mapping. CoRR.

Mário S. Alvim, Piotr Mardziel, Michael W. Hicks (2017). Quantifying vulnerability of secret generation using hyper-distributions (extended version). CoRR.

Mário S. Alvim, Piotr Mardziel, Michael W. Hicks (2017). Quantifying Vulnerability of Secret Generation Using Hyper-Distributions. Principles of Security and Trust - 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.

Min Wu, Fernando Magno Quintão Pereira, Jie Liu, Heitor S. Ramos, Mário S. Alvim, Leonardo B. Oliveira (2017). Proof-Carrying Sensing: Towards Real-World Authentication in Cyber-Physical Systems. Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, SenSys 2017, Delft, Netherlands, November 06-08, 2017.

Felipe Moraes, Mário S. Alvim, Rodrygo L. T. Santos (2017). Modeling Information Flow in Dynamic Information Retrieval. Proceedings of the ACM SIGIR International Conference on Theory of Information Retrieval, ICTIR 2017, Amsterdam, The Netherlands, October 1-4, 2017.

Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi (2017). Information Leakage Games. CoRR.

Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi (2017). Information Leakage Games. Decision and Game Theory for Security - 8th International Conference, GameSec 2017, Vienna, Austria, October 23-25, 2017, Proceedings.

Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio Vale Aguiar Campos, Annabelle McIver (2017). Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings.

Rodrigo M. Silva, Guilherme de Castro Mendes Gomes, Mário S. Alvim, Marcos André Gonçalves (2016). Compression-Based Selective Sampling for Learning to Rank. Proceedings of the 25th ACM International Conference on Information and Knowledge Management, CIKM 2016, Indianapolis, IN, USA, October 24-28, 2016.

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith (2016). Axioms for Information Leakage. IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016.

Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi (2015). On the information leakage of differentially-private mechanisms. J. Comput. Secur..

Mário S. Alvim, Andre Scedrov, Fred B. Schneider (2014). When Not All Bits Are Equal: Worth-Based Information Flow. Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings.

Piotr Mardziel, Mário S. Alvim, Michael W. Hicks, Michael R. Clarkson (2014). Quantifying Information Flow for Dynamic Secrets. 2014 IEEE Symposium on Security and Privacy, SP 2014, Berkeley, CA, USA, May 18-21, 2014.

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith (2014). Additive and Multiplicative Notions of Leakage, and Their Capacities. IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014.

Mário S. Alvim (2013). Computational Aspects of the Calculus of Structure. CoRR.

Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi (2012). Quantitative information flow in interactive systems. J. Comput. Secur..

Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Geoffrey Smith (2012). Measuring Information Leakage Using Generalized Gain Functions. 25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012.

Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi (2011). Quantitative Information Flow and Applications to Differential Privacy. Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures.

Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi (2011). On the Relation between Differential Privacy and Quantitative Information Flow. Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II.

Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi (2011). On the relation between Differential Privacy and Quantitative Information Flow. CoRR.

Mário S. Alvim (2011). Formal approaches to information hiding: An analysis of interactive systems, statistical disclosure control, and refinement of specifications. CoRR.

Mário S. Alvim (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, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi (2011). Differential Privacy: On the Trade-Off between Utility and Information Leakage. Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers.

Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi (2011). Differential Privacy: on the trade-off between Utility and Information Leakage. CoRR.

Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum (2010). Safe Equivalences for Security Properties. Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings.

Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi (2010). Probabilistic Information Flow. Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom.

Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés (2010). Interactive Information Flow - (Invited Talk). Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers.

Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi (2010). Information Flow in Interactive Systems. CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings.

Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi (2010). Entropy and Attack Models in Information Flow - (Invited Talk). Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings.

Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi (2010). Differential Privacy versus Quantitative Information Flow. CoRR.