Miguel Andres
Miguel Andres
Google Inc, Ecole Polytechnique, Radboud University
Verified email at lix.polytechnique.fr - Homepage
Title
Cited by
Cited by
Year
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
8522013
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
2412013
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
1142011
Significant diagnostic counterexamples in probabilistic model checking
ME Andrés, P D’Argenio, P van Rossum
Haifa Verification Conference, 129-148, 2008
692008
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
632011
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
562010
Information hiding in probabilistic concurrent systems
ME Andrés, C Palamidessi, P Van Rossum, A Sokolova
Theoretical Computer Science 412 (28), 3072-3089, 2011
422011
Conditional probabilities over probabilistic and nondeterministic systems
ME Andrés, P Van Rossum
International Conference on Tools and Algorithms for the Construction and …, 2008
322008
Probabilistic information flow
MS Alvim, ME Andrés, C Palamidessi
2010 25th Annual IEEE Symposium on Logic in Computer Science, 314-321, 2010
262010
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
202011
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
172015
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
122010
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
MS Alvim, ME Andrés, C Palamidessi
IFIP International Conference on Theoretical Computer Science, 53-54, 2010
42010
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
22015
Derivación de contraejemplos para model checking cuantitativo
ME Andrés
Master’s thesis, FaMAF, 2006
12006
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
The system can't perform the operation now. Try again later.
Articles 1–20