Volgen
Miguel E. Andres
Miguel E. Andres
Google Inc, Ecole Polytechnique, Radboud University
Geverifieerd e-mailadres voor lix.polytechnique.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
13762013
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
4212013
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
1862012
Significant diagnostic counterexamples in probabilistic model checking
ME Andrés, P D’Argenio, P van Rossum
Haifa Verification Conference, 129-148, 2008
762008
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
752011
Information flow in interactive systems
M Alvim, M Andrés, C Palamidessi
CONCUR 2010-Concurrency Theory, 102-116, 2010
61*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
552010
Information hiding in probabilistic concurrent systems
ME Andrés, C Palamidessi, P Van Rossum, A Sokolova
Theoretical Computer Science 412 (28), 3072-3089, 2011
452011
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
342015
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
272010
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
242011
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
162010
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: (Invited Talk)
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
MS Alvim, ME Andres, K Chatzikokolakis, P Degano, C Palamidessi
LECTURE NOTES IN COMPUTER SCIENCE, 2012
12012
Derivación de contraejemplos para model checking cuantitativo
ME Andrés
Master’s thesis, FaMAF, 2006
12006
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20