Miguel E. Andrés

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Venues

J. Comput. Secur.

Math. Struct. Comput. Sci.

CoRR

CCS

Radboud University Nijmegen, Netherlands (PHD)

Education History

Radboud University Nijmegen, Netherlands

PHD

Publications

Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
On the information leakage of differentially-private mechanisms. J. Comput. Secur. 23 (4) (2015)
Miguel E. Andrés, Catuscia Palamidessi, Geoffrey Smith
Preface to the special issue on quantitative information flow. Math. Struct. Comput. Sci. 25 (2) (2015)
Konstantinos Chatzikokolakis, Miguel E. Andrés, Nicolás Emilio Bordenabe, Catuscia Palamidessi
Broadening the Scope of Differential Privacy Using Metrics. Privacy Enhancing Technologies (2013)
Miguel E. Andrés, Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi
Geo-indistinguishability: differential privacy for location-based systems. CCS (2013)
Miguel E. Andrés, Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi
Geo-Indistinguishability: Differential Privacy for Location-Based Systems CoRR (2012)
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
Quantitative information flow in interactive systems. J. Comput. Secur. 20 (1) (2012)
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
Quantitative Information Flow and Applications to Differential Privacy. FOSAD (2011)
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
On the relation between Differential Privacy and Quantitative Information Flow CoRR (2011)
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
On the Relation between Differential Privacy and Quantitative Information Flow. ICALP (2) (2011)
Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova
Information hiding in probabilistic concurrent systems. Theor. Comput. Sci. 412 (28) (2011)
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
Differential Privacy: On the Trade-Off between Utility and Information Leakage. Formal Aspects in Security and Trust (2011)
Miguel E. Andrés
Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems CoRR (2011)
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
Differential Privacy: on the trade-off between Utility and Information Leakage CoRR (2011)
Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés
Interactive Information Flow - (Invited Talk). ARSPA-WITS (2010)
Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova
Information Hiding in Probabilistic Concurrent Systems. QEST (2010)
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum
Safe Equivalences for Security Properties. IFIP TCS (2010)
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
Information Flow in Interactive Systems. CONCUR (2010)
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
Entropy and Attack Models in Information Flow - (Invited Talk). IFIP TCS (2010)
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
Probabilistic Information Flow. LICS (2010)
Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith
Computing the Leakage of Information-Hiding Systems. TACAS (2010)
Miguel E. Andrés, Peter van Rossum
Conditional Probabilities over Probabilistic and Nondeterministic Systems. TACAS (2008)
Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum
Significant Diagnostic Counterexamples in Probabilistic Model Checking. Haifa Verification Conference (2008)
Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum
Significant Diagnostic Counterexamples in Probabilistic Model Checking CoRR (2008)

Miguel E. Andrés.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Miguel E. Andrés