Miguel E. Andrés

You may also want to check out my publication list according to DBLP or according to Google Scholar.

Journals

  • Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova.
    Information Hiding in Probabilistic Concurrent Systems.
    Journal of Theoretical Computer Science, volume 412, pages 3072-3089, Elsevier, 2011.
    PDF document

  • Mário S.Alvim, Miguel E. Andrés, and Catuscia Palamidessi.
    Information Flow in Interactive Systems.
    To appear in Journal of Computer Security, 2011.
    PDF document

Proceedings of conferences and Workshops

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

    To appear in proceedings of FAST 2011.

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

    In proceedings of ICALP 2011.
    PDF document

  • Mário S. Alvim, Miguel E. Andrés,
    Konstantinos Chatzikokolakis, and Catuscia Palamidessi.
    Quantitative Information Flow and Applications to
    Differential Privacy.

    In proceedings of FOSAD 2011.

  • Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum.
    Safe Equivalences for Security Properties.
    In proceedings of IFIP-TCS 2010.
    PDF document PS document

  • Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova.
    Information Hiding in Probabilistic Concurrent Systems.
    In proceedings of QEST 2010.
    PDF document PS document

  • Mário S.Alvim, Miguel E. Andrés, andCatuscia Palamidessi.
    Information Flow in Interactive Systems.
    In proceedings of CONCUR 2010.
    PDF document PS document

  • Mário S.Alvim, Miguel E. Andrés, and Catuscia Palamidessi.
    Probabilistic Information Flow.
    In Proceedings of LICS 2010.
    PDF document PS document
    Note: This is an overview paper.

  • Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith.
    Computing the Leakage of Information-Hiding Systems.
    In Proceedings of TACAS 2010.
    PDF document PS document

  • Miguel E. Andrés, Pedro D'Argenio, and Peter van Rossum.
    Significant Diagnostic Counterexamples in
    Probabilistic Model Checking
    .
    In Proceedings of HVC 2008, LNCS, Springer, 2009.
    PDF document PS document PPT document

  • Miguel E. Andrés and Peter van Rossum.
    Conditional Probabilities over Probabilistic and
    Nondeterministic Systems
    .
    In proceedings of TACAS 2008, LNCS, Springer, 2008.
    PDF document PS document PPT document

Theses

  • Miguel E. Andrés.
    Quantitative Analysis of Information Leakage
    in Probabilistic and Nondeterministic Systems
    .
    Radboud University, PhD Disseration, 2011.
    PDF document PPT document

  • Miguel E. Andrés and Pedro R. D'Argenio.
    Derivation of Counterexamples for Quantitative
    Model Checking
    .
    Universidad Nacional de Cordoba, Master Thesis (Spanish), 2006.
    PDF document PS document PPT document
Others

  • Mário S.Alvim, Miguel E. Andrés, andCatuscia Palamidessi.
    Entropy and Attack Models in Information Flow.
    In Proceedings of IFIP-TCS 2010.
    PDF document
    Note: This is a short abstract.

  • Mário S.Alvim, Miguel E. Andrés, and Catuscia Palamidessi.
    Information Hiding in Interactive Systems: Failure and
    Recovery of the Information-Theoretic Approach
    .
    In proceedings of ARSPA-WITS 2010.
    PDF document PS document
    Note: This is a short abstract.

  • Miguel E. Andrés, Pedro D'Argenio, and Peter van Rossum.
    Significant Diagnostic Counterexamples in
    Probabilistic Model Checking
    .
    Technical Report, 2008.
    PDF document PS document