 |
|
|
|
| Papers |
|
Papers (co-)authored by Miguel E. Andrés
| [1] |
Miguel Andres, E., Nicolas E. Bordenabe, Konstantinos Chatzikokolakis, and
Catuscia Palamidessi.
Geo-Indistinguishability: Differential Privacy for Location-Based
Systems.
Technical report, 2012. [ bib | http ] |
| [2] |
Konstantinos Chatzikokolakis, Miguel Andres, E., Nicolas E. Bordenabe, and
Catuscia Palamidessi.
Enhancing Differential Privacy: from Hamming to General Metrics.
Technical report, 2012. [ bib | http ] |
| [3] |
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 ] |
| [4] |
Miguel Andres.
Quantitative Analysis of Information Leakage in Probabilistic
and Nondeterministic Systems.
PhD thesis, Radboud University, Nijmegen, July 2011. [ bib | http ] |
| [5] |
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 ] |
| [6] |
Miguel Andres, E., Catuscia Palamidessi, Ana Sokolova, and Peter Van Rossum.
Information Hiding in Probabilistic Concurrent Systems.
Journal of Theoretical Computer Science, 412(28):3072-3089,
2011. [ bib | http ] |
| [7] |
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 ] |
| [8] |
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 ] |
| [9] |
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 ] |
| [10] |
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 ] |
| [11] |
Miguel E. Andres, Catuscia Palamidessi, Peter Van Rossum, and Geoffrey Smith.
Computing the leakage of information-hiding systems.
In Javier Esparza and Rupak Majumdar, editors, 16th
International Conference on Tools and Algorithms for the Construction and
Analysis of Systems (TACAS 2010), volume 6015 of Lecture Notes in
Computer Science, pages 373-389, Cyprus, 2010. Springer. [ bib | http ] |
| [12] |
Miguel E. Andres, Catuscia Palamidessi, Peter Van Rossum, and Ana Sokolova.
Information hiding in probabilistic concurrent systems.
In 7th IEEE International Conference on Quantitative Evaluation
of SysTems (QEST 2010), pages 17-26, Williamsburg, VA, USA, 2010. IEEE
Computer Society. [ bib | http ] |
| [13] |
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 ] |
| [14] |
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 ] |
| [15] |
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 ] |
This file has been generated by bibtex2html 1.74
Back
Page maintainer: Catuscia Palamidessi