| Geo-indistinguishability: Differential privacy for location-based systems ME Andrés, NE Bordenabe, K Chatzikokolakis, C Palamidessi Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013 | 822 | 2013 |
| Broadening the scope of differential privacy using metrics K Chatzikokolakis, ME Andrés, NE Bordenabe, C Palamidessi International Symposium on Privacy Enhancing Technologies Symposium, 82-102, 2013 | 230 | 2013 |
| Differential privacy: on the trade-off between utility and information leakage MS Alvim, ME Andrés, K Chatzikokolakis, P Degano, C Palamidessi International Workshop on Formal Aspects in Security and Trust, 39-54, 2011 | 110 | 2011 |
| Significant diagnostic counterexamples in probabilistic model checking ME Andrés, P D’Argenio, P van Rossum Haifa Verification Conference, 129-148, 2008 | 68 | 2008 |
| On the relation between differential privacy and quantitative information flow M Alvim, M Andrés, K Chatzikokolakis, C Palamidessi Automata, Languages and Programming, 60-76, 2011 | 61 | 2011 |
| Information flow in interactive systems M Alvim, M Andrés, C Palamidessi CONCUR 2010-Concurrency Theory, 102-116, 2010 | 57* | 2010 |
| Computing the leakage of information-hiding systems ME Andrés, C Palamidessi, P Van Rossum, G Smith International Conference on Tools and Algorithms for the Construction and …, 2010 | 56 | 2010 |
| Information hiding in probabilistic concurrent systems ME Andrés, C Palamidessi, P Van Rossum, A Sokolova Theoretical Computer Science 412 (28), 3072-3089, 2011 | 41 | 2011 |
| Conditional probabilities over probabilistic and nondeterministic systems ME Andrés, P Van Rossum International Conference on Tools and Algorithms for the Construction and …, 2008 | 30 | 2008 |
| Probabilistic information flow MS Alvim, ME Andrés, C Palamidessi 2010 25th Annual IEEE Symposium on Logic in Computer Science, 314-321, 2010 | 26 | 2010 |
| Quantitative information flow and applications to differential privacy MS Alvim, ME Andrés, K Chatzikokolakis, C Palamidessi International School on Foundations of Security Analysis and Design, 211-230, 2011 | 20 | 2011 |
| On the information leakage of differentially-private mechanisms MS Alvim, ME Andrés, K Chatzikokolakis, P Degano, C Palamidessi Journal of Computer Security 23 (4), 427-469, 2015 | 17 | 2015 |
| Safe equivalences for security properties MS Alvim, ME Andrés, C Palamidessi, P Van Rossum IFIP International Conference on Theoretical Computer Science, 55-70, 2010 | 12 | 2010 |
| Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems [PhD dissertation] ME Andrés UB Nijmegen [host], 2011 | 9* | 2011 |
| Entropy and attack models in information flow MS Alvim, ME Andrés, C Palamidessi IFIP International Conference on Theoretical Computer Science, 53-54, 2010 | 4 | 2010 |
| Preface to the special issue on quantitative information flow ME Andres, C Palamidessi, G Smith Mathematical Structures in Computer Science 25 (2), 203-206, 2015 | 2 | 2015 |
| Derivación de contraejemplos para model checking cuantitativo ME Andrés Master’s thesis, FaMAF, 2006 | 1 | 2006 |
| Special Issue on Quantitative Information Flow ME Andrés, G Smith, C Palamidessi Cambridge University Press, 2015 | | 2015 |
| On the trade-off between privacy and utility in differentially-private query mechanisms MS Alvim, ME Andres, K Chatzikokolakis, P Degano, C Palamidessi | | 2015 |
| Deliverable no.: 3.2/1 Title of Deliverable: On the information leakage of differentially-private mechanisms MS Alvim, ME Andrés, K Chatzikokolakis, P Degano, C Palamidessi | | 2013 |
Catuscia PalamidessiINRIA, University of Paris Saclay and Ecole PolytechniqueVerified email at lix.polytechnique.fr
