 |
|
|
|
| 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