Publications

An Axiomatization of Information Leakage Measures. [pdf]
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith.
Theoretical Computer Science. Volume 777, 2019. Pages 32-54.

An Algebraic Approach for Reasoning About Information Flow. [pdf]
Arthur Américo, Mário S. Alvim, Annabelle McIver.
22nd International Symposium on Formal Methods (FM 2018), Oxford, UK. Pages 55-72.

Local Differential Privacy on Metric Spaces: optimizing the trade-off with utility. [pdf]
Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii.
31st IEEE Computer Security Foundations Symposium (CSF 2018), Oxford, UK. Pages 262-267.  (Invited paper associated to the invited talk of Catuscia Palamidessi.)

A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. [pdf]
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamot, Catuscia Palamidessi.
Entropy, Special Issue: “Information Theory in Game Theory”, Vol. 20, Number 5, Article number 382, 2018.

Leakage and Protocol Composition in a Game-Theoretic Perspective. [pdf]
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi.
7th International Conference on Principles of Security and Trust (POST 2018), Thessaloniki, Greece. Pages 134-159.

Information-driven Rapidly-exploring Random Tree for Efficient Environment Exploration. [pdf]
Jhielson M. Pimentel, Mário S. Alvim, Mario F. M. Campos, Douglas G. Macharet.
Journal of Intelligent & Robotic Systems, August 2018, Volume 91, Issue 2, Pages 313-331.

Information Leakage Games. [pdf]
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi.
8th Conference on Decision and Game Theory for Security (GameSec 2017), Vienna, Austria. Pages 437-457.

New Directions: Proof-Carrying Sensing – Towards Real-World Authentication in Cyber-Physical Systems. [pdf]
Min Wu, Fernando M. Quintão Pereira, Jie Liu, Heitor S. Ramos, Mário S. Alvim, Leonardo B. Oliveira.
15th ACM Conference on Embedded Networked Sensor Systems (SenSys 2017), Delft, The Netherlands. Pages 221-226.

Quantifying vulnerability of secret generation using hyper-distributions. [pdf]
Mário S. Alvim, Piotr Mardziel, Michael Hicks.
6th Conference on Principles of Security and Trust (POST 2017), held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017). Uppsala, Sweden. Pages 26-48.

Modeling Information Flow in Dynamic Information Retrieval. [pdf]
Felipe Moraes, Mário S. Alvim, Rodrygo L. T. Santos.
3rd ACM International Conference on the Theory of Information Retrieval (ICTIR 2017), Amsterdam, The Netherlands. Pages 305-308.

Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. [pdf]
Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio V. A. Campos, Annabelle McIver.
XX Brazilian Symposium on Formal Methods (SBMF 2017). Recife, Brazil. Pages 142-158.

Compression-Based Selective Sampling for Learning to Rank. [pdf]
Rodrigo M. Silva, Guilherme C. M. Gomes, Mário S. Alvim, Marcos A. Gonçalves.
25th ACM International Conference on Information and Knowledge Management (CIKM 2016), Indianapolis, USA. Pages 247-256.

Axioms for Information Leakage. [pdf]
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith.
29th IEEE Computer Security Foundations Symposium (CSF 2016), Lisbon, Portugal. Pages 77-92.

Towards the Quantification of Strategy Leakage.
Mário S. Alvim, Piotr Mardziel, Michael Hicks.
Workshop on Foundations of Computer Security (FCS 2016), Lisbon, USA. (Without formal proceedings, technical report available).

On the Information Leakage of Differentially-Private Mechanisms. [pdf]
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi.
Journal of Computer Security, Vol. 23, Number 4, 2015. Pages 427-469.

Additive and multiplicative notions of leakage, and their capacities. [pdf]
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith.
27th IEEE Computer Security Foundations Symposium (CSF 2014), Vienna, Austria. Pages 308-322.
Winner of the NSA 3rd Annual Best Scientific Cybersecurity Paper Competition [http://cps-vo.org/node/21539#winning]

Quantifying Information Flow for Dynamic Secrets. [pdf]
Piotr Mardziel, Mário S. Alvim, Michael Hicks, Michael Clarkson.
35th IEEE Symposium on Security and Privacy (S&P 2014), San Jose, CA, USA. Pages 540-555.

When not all bits are equal: Worth-based information flow. [pdf]
Mário S. Alvim, Fred B. Schneider, Andre Scedrov.
3rd Conference on Principles of Security and Trust (POST 2014), held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2014). Grenoble, France. Pages 120-139.

Adversary Gain vs. Defender Loss in Quantified Information Flow.
Piotr Mardziel, Mário S. Alvim, Michael Hicks.
Workshop on Foundations of Computer Security (FCS 2014), Vienna, Austria. (Without formal proceedings, technical report available).

When not all bits are equal: introducing worth into information flow measures.
Mário S. Alvim, Fred B. Schneider, Andre Scedrov.
Workshop on Foundations of Computer Security (FCS 2013), New Orleans, USA. (Without formal proceedings, technical report available).

Measuring Information Leakage using Generalized Gain Functions. [pdf]
Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi , Geoffrey Smith.
25th IEEE Computer Security Foundations Symposium (CSF 2012), Boston, USA. Pages 265-279.

Quantitative Information Flow in Interactive Systems. [pdf]
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi.
Journal of Computer Security, Vol. 20, Number 1, 2012. Pages 3-50.

Differential Privacy: on the trade-off between Utility and Information Leakage. [pdf]
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi.
8th International Workshop on Formal Aspects of Security and Trust (FAST 2011), Leuven, Belgium.

Quantitative Information Flow and Applications to Differential Privacy. [pdf]
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi.
Foundations of Security Analysis and Design VI (11th International School on Foundations of Security Analysis and Design), Bertinoro, Italy. Pages 211-230.

On the Relation between Differential Privacy and Quantitative Information Flow. [pdf]
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi.
38th International Colloquium on Automata, Languages and Programming (ICALP 2011), Zürich, Switzerland. Pages 60-76. (Invited paper associated to the invited talk of Catuscia Palamidessi.)

Probabilistic Information Flow. [pdf]
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi.
25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Edinburgh, UK. Pages 314-321. (Invited paper associated to the inveted talk of Catuscia Palamidessi.)

Safe Equivalences for Security Properties. [pdf]
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum.
6th IFIP International Conference on Theoretical Computer Science (IFIP TCS 2010), Brisbane, Australia. Pages 55-70.

Information Flow in Interactive Systems. [pdf]
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi.
21st International Conference on Concurrency Theory (CONCUR 2010), Paris, France. Pages 102-116.Local Differential Privacy on Metric Spaces: optimizing the trade-off with utility