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
7562013
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
2192013
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
1022011
Significant diagnostic counterexamples in probabilistic model checking
ME Andrés, P D’Argenio, P van Rossum
Haifa Verification Conference, 129-148, 2008
672008
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
572011
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
522010
Information flow in interactive systems
M Alvim, M Andrés, C Palamidessi
CONCUR 2010-Concurrency Theory, 102-116, 2010
52*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
402011
Conditional probabilities over probabilistic and nondeterministic systems
ME Andrés, P Van Rossum
International Conference on Tools and Algorithms for the Construction and …, 2008
282008
Probabilistic information flow
MS Alvim, ME Andrés, C Palamidessi
2010 25th Annual IEEE Symposium on Logic in Computer Science, 314-321, 2010
242010
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
212011
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
152015
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
102010
Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems [PhD dissertation]
ME Andrés
UB Nijmegen [host], 2011
8*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
Differential privacy: on the trade-o between utility and information leakage
S Alvim M, E Andres M, K Chatzikokolakis, P DEGANO, C Palamidessi
FAST, 2012
12012
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
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
The system can't perform the operation now. Try again later.
Articles 1–20