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 | 1494 | 2013 |
Broadening the scope of differential privacy using metrics K Chatzikokolakis, ME Andrés, NE Bordenabe, C Palamidessi Privacy Enhancing Technologies: 13th International Symposium, PETS 2013 …, 2013 | 477 | 2013 |
Differential privacy: on the trade-off between utility and information leakage MS Alvim, ME Andrés, K Chatzikokolakis, P Degano, C Palamidessi Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011 …, 2012 | 201 | 2012 |
Significant diagnostic counterexamples in probabilistic model checking ME Andrés, P D’Argenio, P van Rossum Haifa Verification Conference, 129-148, 2008 | 78 | 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 | 76 | 2011 |
Information flow in interactive systems M Alvim, M Andrés, C Palamidessi CONCUR 2010-Concurrency Theory, 102-116, 2010 | 62* | 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 | 55 | 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 | 45 | 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 | 39 | 2015 |
Conditional probabilities over probabilistic and nondeterministic systems ME Andrés, P Van Rossum International Conference on Tools and Algorithms for the Construction and …, 2008 | 33 | 2008 |
Probabilistic information flow MS Alvim, ME Andrés, C Palamidessi 2010 25th Annual IEEE Symposium on Logic in Computer Science, 314-321, 2010 | 27 | 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 | 24 | 2011 |
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 | 16 | 2010 |
Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems [PhD dissertation] ME Andrés UB Nijmegen [host], 2011 | 10* | 2011 |
Entropy and Attack Models in Information Flow: (Invited Talk) MS Alvim, ME Andrés, C Palamidessi IFIP International Conference on Theoretical Computer Science, 53-54, 2010 | 5 | 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 |
On the trade-off between privacy and utility in differentially-private query mechanisms MS Alvim, ME Andres, K Chatzikokolakis, P DEGANO, C Palamidessi JOURNAL OF COMPUTER SECURITY 23 (4), 427-469, 2015 | | 2015 |
Special Issue on Quantitative Information Flow ME Andrés, G Smith, C Palamidessi Cambridge University Press, 2015 | | 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 |