Significant Diagnostic Counterexamples in Probabilistic Model Checking. - Miguel E. Andrés; Pedro R. D'Argenio; Peter van Rossum (Haifa Verification Conference, 2008)

Conditional Probabilities over Probabilistic and Nondeterministic Systems. - Miguel E. Andrés; Peter van Rossum (TACAS, 2008)

Information Flow in Interactive Systems. - Mário S. Alvim; Miguel E. Andrés; Catuscia Palamidessi (CONCUR, 2010)

Interactive Information Flow - (Invited Talk). - Catuscia Palamidessi; Mário S. Alvim; Miguel E. Andrés (ARSPA-WITS, 2010)

Entropy and Attack Models in Information Flow - (Invited Talk). - Mário S. Alvim; Miguel E. Andrés; Catuscia Palamidessi (IFIP TCS, 2010)

Safe Equivalences for Security Properties. - Mário S. Alvim; Miguel E. Andrés; Catuscia Palamidessi; Peter van Rossum (IFIP TCS, 2010)

Probabilistic Information Flow. - Mário S. Alvim; Miguel E. Andrés; Catuscia Palamidessi (LICS, 2010)

Computing the Leakage of Information-Hiding Systems. - Miguel E. Andrés; Catuscia Palamidessi; Peter van Rossum; Geoffrey Smith 001 (TACAS, 2010)

Quantitative Information Flow and Applications to Differential Privacy. - Mário S. Alvim; Miguel E. Andrés; Konstantinos Chatzikokolakis 001; Catuscia Palamidessi (FOSAD, 2011)

On the Relation between Differential Privacy and Quantitative Information Flow. - Mário S. Alvim; Miguel E. Andrés; Konstantinos Chatzikokolakis 001; Catuscia Palamidessi (ICALP (2), 2011)

Differential Privacy: On the Trade-Off between Utility and Information Leakage. - Mário S. Alvim; Miguel E. Andrés; Konstantinos Chatzikokolakis 001; Pierpaolo Degano; Catuscia Palamidessi (Formal Aspects in Security and Trust, 2011)

Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems - Miguel E. Andrés (CoRR, 2011)

Information hiding in probabilistic concurrent systems. - Miguel E. Andrés; Catuscia Palamidessi; Peter van Rossum; Ana Sokolova (Theor. Comput. Sci., 2011)

Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems. - Miguel E. Andrés (2011)

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

Geo-indistinguishability: differential privacy for location-based systems. - Miguel E. Andrés; Nicolás Emilio Bordenabe; Konstantinos Chatzikokolakis 001; Catuscia Palamidessi (CCS, 2013)

Broadening the Scope of Differential Privacy Using Metrics. - Konstantinos Chatzikokolakis 001; Miguel E. Andrés; Nicolás Emilio Bordenabe; Catuscia Palamidessi (Privacy Enhancing Technologies, 2013)

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

Preface to the special issue on quantitative information flow. - Miguel E. Andrés; Catuscia Palamidessi; Geoffrey Smith 001 (Math. Struct. Comput. Sci., 2015)