People

Papers & Software

Seminar

Stages



INRIA

LIX

CNRS
Papers

Papers (co-)authored by Mário S. Alvim

[1] Mario Alvim, S., Miguel Andres, E., and Catuscia Palamidessi. Quantitative Information Flow in Interactive Systems. Journal of Computer Security, 20(1):3-50, 2012.
[ bib | http ]
[2] Mario Alvim, S., Konstantinos Chatzikokolakis, Catuscia Palamidessi, and Geoffrey Smith. Measuring Information Leakage using Generalized Gain Functions. In Proceedings of Computer Security Foundations (CSF), pages 265-279, Cambridge MA, United States, 2012. IEEE.
[ bib | http ]
[3] Mário Alvim, S. 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. PhD thesis, Ecole Polytechnique X, October 2011.
[ bib | http ]
[4] Mário Alvim, S., Miguel Andres, E., Konstantinos Chatzikokolakis, Pierpaolo Degano, and Catuscia Palamidessi. Differential Privacy: on the trade-off between Utility and Information Leakage. In Gilles Barthe, Anupam Datta, and Sandro Etalle, editors, The 8th International Workshop on Formal Aspects of Security & Trust (FAST), Lecture Notes in Computer Science, Leuven, Belgium, March 2011. Springer.
[ bib | http ]
[5] Mário Alvim, S., Miguel Andres, E., Konstantinos Chatzikokolakis, and Catuscia Palamidessi. On the relation between Differential Privacy and Quantitative Information Flow. In Jiri Sgall Luca Aceto, Monika Henzinger, editor, 38th International Colloquium on Automata, Languages and Programming - ICALP 2011, volume 6756 of Lecture Notes in Computer Science, pages 60-76, Zurich, Switzerland, 2011. Springer.
[ bib | http ]
[6] Mário Alvim, Miguel Andres, E., Konstantinos Chatzikokolakis, and Catuscia Palamidessi. Quantitative Information Flow and Applications to Differential Privacy. In Alessandro Aldini and Roberto Gorrieri, editors, Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures, volume 6858 of Lecture Notes in Computer Science, pages 211-230. Springer, 2011.
[ bib | http ]
[7] Catuscia Palamidessi, Mário S. Alvim, and Miguel E. Andres. Interactive Information Flow. In Alessandro Armando and Gavin Lowe, editors, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS 2010), volume 6186 of Lecture Notes in Computer Science, pages 111-111, Paphos, Cyprus, 2010. Springer.
[ bib | http ]
[8] Mário S. Alvim, Miguel E. Andres, and Catuscia Palamidessi. Entropy and Attack Models in Information Flow. In Cristian S. Calude and Vladimiro Sassone, editors, 6th IFIP International Conference on Theoretical Computer Science (TCS 2010), volume 323 of IFIP Advances in Information and Communication Technology, pages 53-54, Brisbane, Australia, 2010. Springer.
[ bib | http ]
[9] Mário S. Alvim, Miguel E. Andres, and Catuscia Palamidessi. Information flow in interactive systems. In Paul Gastin and François Laroussinie, editors, 21th International Conference on Concurrency Theory (CONCUR 2010), volume 6269 of Lecture Notes in Computer Science, pages 102-116, Paris, France, 2010. Springer.
[ bib | http ]
[10] Mário S. Alvim, Miguel E. Andres, Catuscia Palamidessi, and Peter Van Rossum. Safe equivalences for security properties. In Cristian S. Calude and Vladimiro Sassone, editors, 6th IFIP International Conference on Theoretical Computer Science (TCS 2010), volume 323 of IFIP Advances in Information and Communication Technology, pages 55-70, Brisbane, Australia, 2010. Springer.
[ bib | http ]
[11] Mário S. Alvim, Miguel E. Andres, and Catuscia Palamidessi. Probabilistic information flow. In 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), pages 314-321, Edinburgh, United Kingdom, 2010. IEEE Computer Society.
[ bib | http ]
[12] Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, and Catuscia Palamidessi. Differential privacy versus quantitative information flow. Technical report, INRIA, 2010.
[ bib | http ]

This file has been generated by bibtex2html 1.74


Back


Page maintainer: Catuscia Palamidessi