Miguel E. Andrés

24 papers A* 2A 3B 1Journal 9Unranked 8

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